Research Catalog
Using Z : specification, refinement, and proof
- Title
- Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.
- Author
- Woodcock, Jim.
- Publication
- London ; New York : Prentice Hall, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 96-1742 | Offsite |
Details
- Additional Authors
- Davies, Jim.
- Description
- xvi, 386 p. : ill., maps; 24 cm.
- Series Statement
- Prentice-Hall international series in computer science
- Subjects
- Note
- Includes index.
- Call Number
- JSE 96-1742
- ISBN
- 0139484728 (pbk. : alk. paper)
- LCCN
- 96004347
- OCLC
- 34046380
- Author
- Woodcock, Jim.
- Title
- Using Z : specification, refinement, and proof / Jim Woodcock and Jim Davies.
- Imprint
- London ; New York : Prentice Hall, 1996.
- Series
- Prentice-Hall international series in computer science
- Indexed Term
- Software Design
- Added Author
- Davies, Jim.
- Research Call Number
- JSE 96-1742