Related Books
Language: en
Pages: 535
Pages: 535
Type: BOOK - Published: 2011-06-03 - Publisher: Springer Science & Business Media
This book presents 15 tutorial lectures by leading researchers given at the 11th edition of the International School on Formal Methods for the Design of Compute
Language: en
Pages: 776
Pages: 776
Type: BOOK - Published: 2019-09-23 - Publisher: Springer Nature
This book constitutes the refereed proceedings of the 23rd Symposium on Formal Methods, FM 2019, held in Porto, Portugal, in the form of the Third World Congres
Language: en
Pages: 874
Pages: 874
Type: BOOK - Published: 2016-10-04 - Publisher: Springer
The two-volume set LNCS 9952 and LNCS 9953 constitutes the refereed proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods,
Language: en
Pages: 193
Pages: 193
Type: BOOK - Published: 2017-06-21 - Publisher: Springer
This book provides readers with a comprehensive introduction to the formal verification of hardware and software. World-leading experts from the domain of forma
Language: en
Pages: 374
Pages: 374
Type: BOOK - Published: 2018-07-09 - Publisher: John Wiley & Sons
A comprehensive collection of influential articles from one of IEEE Computer magazine’s most popular columns This book is a compendium of extended and revised
