Modular specification and verification of object-oriented programs Peter Müller

By:

Müller, Peter

Publication details: Berlin Springer c2002Description: xiv, 292 p. : ill. ; 24 cmISBN:

9783540431671

ISSN:

2002514608

Subject(s):

Computer software - Development
Modular programming
Object-oriented programming (Computer science)

DDC classification:

005.1 MUL

Item type: Books

Tags from this library: No tags from this library for this title.

Average rating: 0.0 (0 votes)

Holdings
Current library	Call number	Status	Date due	Barcode
Anna Centenary Library	005.1 MUL (Browse shelf(Opens below))	Available		318216

Based on the author's thesis (doctoral)--Fernuniversität Hagen, 2001. Includes bibliographical references (p. [271]-283) and index. Also available via the World Wide Web

There are no comments on this title.

to post a comment.

Print
Save record
BIBTEX Dublin Core MARCXML MARC (non-Unicode/MARC-8) MARC (Unicode/UTF-8) MARC (Unicode/UTF-8, Standard) MODS (XML) RIS ISBD
More searches

Search for this title in:
Other Libraries (WorldCat) Other Databases (Google Scholar) Online Stores (Bookfinder.com) Open Library (openlibrary.org)

Modular specification and verification of object-oriented programs Peter Müller

Find us on the map