Normal view MARC view ISBD view

Modular specification and verification of object-oriented programs

Müller, Peter

Modular specification and verification of object-oriented programs Peter Müller - Berlin Springer c2002 - xiv, 292 p. : ill. ; 24 cm

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

ISBN: 9783540431671

ISSN: 2002514608

Subjects--Topical Terms:
Computer software - Development
Modular programming
Object-oriented programming (Computer science)

Dewey Class. No.: 005.1 MUL

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

Find us on the map