Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science (2262), Band 2262)

Verification

von Peter M??ller

Taschenbuch

Details (Deutschland)

ISBN: 978-3-540-43167-1

ISBN-10: 3-540-43167-5

Springer · 2008