Modular Specification and Verification of Object-Oriented Programs
298 Seiten
Hardcover
Erscheinungsdatum 23.01.2002
ISBN 9783540431671
298 Seiten
Hardcover
Erscheinungsdatum 23.01.2002
ISBN 9783540431671