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

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
LSN:	3-540-43167-5
Barcode:	9783540431671

Is the information for this product incomplete, wrong or inappropriate? Let us know about it.

Does this product have an incorrect or missing image? Send us a new image.

Is this product missing categories? Add more categories.

Review This Product

No reviews yet - be the first to create one!