Related Books
Language: en
Pages: 251
Pages: 251
Type: BOOK - Published: 2012-07-11 - Publisher: Springer
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO
Language: en
Pages: 207
Pages: 207
Type: BOOK - Published: 2011-01-14 - Publisher: Springer Science & Business Media
This book presents the thoroughly refereed post-conference proceedings of the International Conference on Formal Verification of Object-Oriented Software, FoVeO
Language: en
Pages: 669
Pages: 669
Type: BOOK - Published: 2007-01-03 - Publisher: Springer Science & Business Media
The ultimate goal of program verification is not the theory behind the tools or the tools themselves, but the application of the theory and tools in the softwar
Language: en
Pages: 298
Pages: 298
Type: BOOK - Published: 2003-07-31 - Publisher: Springer
Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools,
Language: en
Pages: 0
Pages: 0
Type: BOOK - Published: 2000-06-06 - Publisher: Red Globe Press
This book presents techniques for the precise description of software or systems using the object-oriented formal specification language, Object-Z. It includes