Peter Muller 
Modular Specification and Verification of Object-Oriented Programs [PDF ebook] 

Support

Software systems play an increasingly important role in modern societies. Smart cards for personal identi?cation, e-banking, software-controlled me- cal tools, airbags in cars, and autopilots for aircraft control are only some examples that illustrate how everyday life depends on the good behavior of software. Consequently, techniques and methods for the development of hi- quality, dependable software systems are a central research topic in computer science. A fundamental approach...

read more
€57.85
payment methods
Buy this ebook and get 1 more FREE!
Language English ● Format PDF ● ISBN 9783540456513 ● Publisher Springer Berlin Heidelberg ● Published 2003 ● Downloadable 3 times ● Currency EUR ● ID 6318723 ● Copy protection Adobe DRM
Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

16,941 Ebooks in this category