Item description for Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science) by Peter Müller...
This book presents new techniques for the formal specification and verification of object-oriented software. Since modularity is of critical importance for reuse and component-based programming, special emphasis is given to the completeness of the presented specification techniques to allow module verification based on the specification of the imported modules. A formal framework developed for a Java subset illustrates these new techniques.
Promise Angels is dedicated to bringing you great books at great prices. Whether you read for entertainment, to learn, or for literacy - you will find what you want at promiseangels.com!
Est. Packaging Dimensions: Length: 9.21" Width: 6.14" Height: 0.65" Weight: 0.97 lbs.
Release Date Mar 22, 2002
ISBN 3540431675 ISBN13 9783540431671
Availability 117 units. Availability accurate as of Oct 26, 2016 12:08.
Usually ships within one to two business days from La Vergne, TN.
Orders shipping to an address other than a confirmed Credit Card / Paypal Billing address may incur and additional processing delay.