Modular Specification and Verification of Object-Oriented Programs : 2262 by Peter Muller - Paperback

AED303.69
(0) Write a Review
SKU:
9783540431671
UPC:
9783540431671

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

Other Details

ISBN:
9783540431671
Author:
Peter Muller
Publisher:
Springer-Verlag Berlin and Heidelberg GmbH & Co. K
Publisher Date:
Published:23 Jan 2002
Book Format:
Paperback