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

Remote Storage