Research Catalog
Modular specification and verification of object-oriented programs
- Title
- Modular specification and verification of object-oriented programs / Peter Müller.
- Author
- Müller, Peter.
- Publication
- Berlin ; New York : Springer, c2002.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 02-864 | Offsite |
Details
- Description
- xiv, 292 p. : ill.; 24 cm.
- Series Statement
- Lecture notes in computer science, 0302-9743 ; 2262
- Subjects
- Note
- Based on the author's thesis (doctoral)--Fernuniversität Hagen, 2001.
- Bibliography (note)
- Includes bibliographical references (p. [271]-283) and index.
- Additional Formats (note)
- Also available via the World Wide Web.
- Call Number
- JSE 02-864
- ISBN
- 3540431675 (pbk.)
- OCLC
- 49035992
- Author
- Müller, Peter.
- Title
- Modular specification and verification of object-oriented programs / Peter Müller.
- Imprint
- Berlin ; New York : Springer, c2002.
- Series
- Lecture notes in computer science, 0302-9743 ; 2262
- Bibliography
- Includes bibliographical references (p. [271]-283) and index.
- Additional Formats
- Also available via the World Wide Web.
- Research Call Number
- JSE 02-864