Welcome to Loot.co.za! Sign in / Register |Wishlists & Gift Vouchers |Help | Advanced search

Checkout
- Your Cart Price

Your cart

Your cart is empty

Books > Computing & IT > Computer programming > Programming languages

Buy Now

Modular Specification and Verification of Object-Oriented Programs (Paperback, 2002 ed.) Loot Price: R1,623

Discovery Miles 16 230

Repayment Terms: R152 pm x 12*

Add to cart

Modular Specification and Verification of Object-Oriented Programs (Paperback, 2002 ed.): Peter Muller

Modular Specification and Verification of Object-Oriented Programs (Paperback, 2002 ed.)

Peter Muller

Series: Lecture Notes in Computer Science, 2262

(sign in to rate)

Loot Price R1,623 Discovery Miles 16 230 | Repayment Terms: R152 pm x 12*

Expected to ship within 10 - 15 working days

Description
Details
Customer Reviews

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.

General

Imprint:	Springer-Verlag
Country of origin:	Germany
Series:	Lecture Notes in Computer Science, 2262
Release date:	2001
First published:	2002
Authors:	Peter Muller
Dimensions:	235 x 155 x 16mm (L x W x T)
Format:	Paperback
Pages:	298
Edition:	2002 ed.
ISBN-13:	978-3-540-43167-1
Categories:	Books > Computing & IT > Computer programming > Software engineering Books > Computing & IT > Computer programming > Object-oriented programming (OOP) Books > Computing & IT > Computer programming > Programming languages > General Promotions
LSN:	3-540-43167-5
Barcode:	9783540431671