AddALL.com - Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science) 3540431675 9783540431671

Don't forget to bookmark this web site !!

Used & Out of Print Books | Contact us | Home

Browse and Compare Price at 40+ Sites and 20,000+ Stores!!

Find more info., search and price compare for
Modular Specification and Verification of Object-Oriented Programs (Lecture Notes in Computer Science)
by Peter Müller
Binding: Paperback, 1 edition, 306 pages
Publisher: Springer
List Price: USD $64.95
Weight: 106
Dimension: H: 0.75 x L: 9.21 x W: 0.5 inches
ISBN 10: 3540431675
ISBN 13: 9783540431671
Click here to search for this book and compare price at 40+ bookstores with AddALL.com!

If you cannot find this book in our new and in print search, be sure to try our used and out of print search too!

Book Description:
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.

Shipping Destination:
State: (US only)
Display in:
Search by:


Searching for Out of Print Books? [Click Here]

[ For web hosting, AddALL recommend Liquidweb]