Related Books
Language: en
Pages: 420
Pages: 420
Type: BOOK - Published: 1999-09-17 - Publisher: Springer Science & Business Media
"Aimed mainly at practitioners in software engineering and formal methods, this book will also be of interest to academic researchers working in formal methods,
Language: en
Pages: 410
Pages: 410
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media
Industrial Strength Formal Methods in Practice provides hands-on experience and guidance for anyone who needs to apply formal methods successfully in an industr
Language: en
Pages: 712
Pages: 712
Type: BOOK - Published: 1993 - Publisher: Springer Science & Business Media
The last few years have borne witness to a remarkable diversity of formal methods, with applications to sequential and concurrent software, to real-time and rea
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: 2326
Pages: 2326
Type: BOOK - Published: 2014-05-07 - Publisher: CRC Press
The first volume of this popular handbook mirrors the modern taxonomy of computer science and software engineering as described by the Association for Computing
