Related Books
Language: en
Pages:
Pages:
Type: BOOK - Published: 2006 - Publisher:
Language: en
Pages: 307
Pages: 307
Type: BOOK - Published: 2009-09-07 - Publisher: Springer Science & Business Media
All modern industries rely on large and complex software systems. In order to construct such large systems in a systematic manner, the focus of the development
Language: en
Pages: 247
Pages: 247
Type: BOOK - Published: 2013-08-23 - Publisher: Springer
This book constitutes revised lectures from the 11th Symposium on Formal Methods for Components and Object, FMCO 2012, held in Bertinoro, Italy, in September 20
Language: en
Pages: 380
Pages: 380
Type: BOOK - Published: 2004-10-27 - Publisher: Springer Science & Business Media
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to more c
Language: en
Pages: 332
Pages: 332
Type: BOOK - Published: 2005-09-19 - Publisher: Springer Science & Business Media
Formal methods have been applied successfully to the verification of medium-sized programs in protocol and hardware design. However, their application to the de