Modular Specification and Verification of Object-Oriented Programs

By:

Peter Muller

Format:

Paperback / softback

Series:

Lecture Notes in Computer Science,

Show Hide Adult Content

$150.00

Available from supplier

Usually ships in 3-4 weeks

0 in Trolley

Price Match

Wrap this item as a gift ($5.90) - add a free gift card on the next page

Free Delivery with Primate

Join Now

Free 14 day free trial, cancel anytime.

Buy Now, Pay Later with:

4 payments of $37.50 with Afterpay Learn more

6 weekly interest-free payments of $25.00 with Laybuy Learn more

Availability

Delivering to:

Estimated arrival:

Around 17-27 June using International Courier

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.

Release date NZ

January 23rd, 2002

Author

Peter Muller

Audience

Professional & Vocational

Illustrations

XIV, 298 p.

Pages

298

Series

Lecture Notes in Computer Science,

Dimensions

156x234x16

ISBN-13

9783540431671

Product ID

2832203

Customer reviews

Nobody has reviewed this product yet. You could be the first!

Write a Review

Marketplace listings

There are no Marketplace listings available for this product currently.
Already own it? Create a free listing and pay just 9% commission when it sells!

Sell Yours Here