Related Books
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: 410
Pages: 410
Type: BOOK - Published: 2013-03-09 - Publisher: Springer Science & Business Media
In any serious engineering discipline, it would be unthinkable to construct a large system without having a precise notion of what is to be built and without ve
Language: en
Pages: 449
Pages: 449
Type: BOOK - Published: 2007-10-23 - Publisher: Springer Science & Business Media
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