Related Books
Language: en
Pages: 290
Pages: 290
Type: BOOK - Published: 2009-12-04 - Publisher: Springer Science & Business Media
Through fundamental contributions from leading researchers, this volume describes the use of formal modeling methods in the areas of requirements, design and va
Language: en
Pages: 197
Pages: 197
Type: BOOK - Published: 2021-10-17 - Publisher: Springer Nature
This Festschrift, dedicated to Klaus Havelund on the occasion of his 65th birthday, celebrated in 2021 due to the COVID-19 pandemic, contains papers written by
Language: en
Pages: 417
Pages: 417
Type: BOOK - Published: 2023-09-07 - Publisher: Springer Nature
This Festschrift volume, dedicated to Jifeng He on the occasion of his 80th birthday, includes refereed papers by leading researchers, many of them current and
Language: en
Pages: 2330
Pages: 2330
Type: BOOK - Published: 2014-05-07 - Publisher: CRC Press
Computing Handbook, Third Edition: Computer Science and Software Engineering mirrors the modern taxonomy of computer science and software engineering as describ
Language: en
Pages: 444
Pages: 444
Type: BOOK - Published: 2012-06-26 - Publisher: Springer
This book presents 11 tutorial lectures by leading researchers given at the 12th edition of the International School on Formal Methods for the Design of Compute
