Modular specification and verification of object-oriented programs :: Peter Müller :: ISBN 3540431675 :: Springer 2002 :: OBNB, the Open British National Bibliography

Publication Data

Title Modular specification and verification of object-oriented programs
Author Peter Müller
Publisher Springer
Publication date 2002
Publication location Berlin
Language English

Descriptive Notes

Based on a dissertation (Ph.D.)_FernUniversität Hagen, 2001.

Topics

Object-oriented programming (Computer science)

Catalogue Data

OBNB ID GBA213853
ISBN 10 3540431675
ISBN 13 n/a
Type BibliographicResource, Book
Dewey Classification 005.1

ISBD

P1053 xiv, 292 p.
P1042 Includes bibliographical references and index.

Buy a copy

OBNB doesn't sell books, but you may be able to find a copy at one of these websites:

Modular specification and verification of object-oriented programs by Peter Müller. ISBN 3540431675. Published by Springer in 2002. Publication and catalogue information, links to buy online and reader comments.