Bargiidšearbma: Modular specification and verification of object-oriented programs / Peter Müller.

Summary goes here

Furkejuvvon:

Bibliográfalaš dieđut
Materiálatiipa:	Girji
Giella:	eaŋgalasgiella
Fáttát:	Object-oriented programming (Computer science) Modular programming. Computer software
Fáddágilkorat:	Lasit fáddágilkoriid Eai fáddágilkorat, Lasit vuosttaš fáddágilkora!

era
format	Book
genre
geographic
id	12509ad7-2c19-46a7-a86c-041d1003446d
isbn	3540431675
issn
language	eng
physical	xiv, 292 pages :illustrations ;24 cm.
publication	– publisher: Springer dateOfPublication: 2002
publishDate	2002
subjects
title	Modular specification and verification of object-oriented programs / Peter Müller.
topic	Object-oriented programming (Computer science) Modular programming. Computer software