Modular specification and verification of object-oriented programs /

Bibliographic Details
Main Author:	Müller, Peter, 1972-
Corporate Author:	SpringerLink (Online service)
Format:	eBook
Language:	English
Published:	Berlin ; New York : Springer, [2002]
Series:	Lecture notes in computer science ; 2262.
Subjects:	Object-oriented programming (Computer science) Modular programming. Computer software > Development. vérification logiciel. spécification logiciel. logiciel modulaire. programmation par objets. Programmation orientée objet (Informatique) Programmation modulaire. Logiciels > Développement. Programmation orientée objets (informatique) Modulare Programmierung. Typsystem. Objektorientierte Programmierung. Softwarespezifikation. Programmverifikation. Electronic books.
Online Access:	Connect to the full text of this electronic book http://link.springer-ny.com/link/service/series/0558/tocs/t2262.htm

Description
Item Description:	Based on the author's thesis (doctoral)--Fernuniversität Hagen, 2001. Electronic resource.
Physical Description:	1 online resource (xiv, 292 pages) : illustrations
Bibliography:	Includes bibliographical references (pages 271-283) and index.
ISBN:	3540431675 9783540431671
ISSN:	0302-9743 ;