Product Description
ISBN: 9783540431671
TITLE: Modular Specification and Verification of Object-Oriented Programs : 2262
AUTHOR: Peter Muller
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 23 Jan 2002
ISBN: 9783540431671
TITLE: Modular Specification and Verification of Object-Oriented Programs : 2262
AUTHOR: Peter Muller
PUBLISHER: Springer-Verlag Berlin and Heidelberg GmbH & Co. K
PUBLISHER DATE: 23 Jan 2002
Popular Trending Products
ISBN: 9781249834274TITLE: Validation and Verification of Formal Specifications in Object-Oriented So…
ISBN: 9783642369452TITLE: Aliasing in Object-Oriented Programming : Types, Analysis and Verification…