Modular Specification and Verification of Object-Oriented Programs
de Peter Müller
Ediciones (1)
- Modular Specification and Verification of Object-Oriented Programs (2003)
Springer London, Limited · inglés · ISBN 9783540456513
de Peter Müller
Springer London, Limited · inglés · ISBN 9783540456513
