Research Catalog
Constructing correct software : the basics
- Title
- Constructing correct software : the basics / John Cooke.
- Author
- Cooke, John, 1947-
- Publication
- London : New York : Springer, c1998.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 98-1145 | Offsite |
Details
- Description
- xiii, 395 p.; 24 cm.
- Series Statement
- Formal approaches to computing and information technology
- Subject
- Note
- Includes index.
- Call Number
- JSE 98-1145
- ISBN
- 354076156X (pbk. : alk. paper)
- LCCN
- 97026050
- OCLC
- vendor
- Author
- Cooke, John, 1947-
- Title
- Constructing correct software : the basics / John Cooke.
- Imprint
- London : New York : Springer, c1998.
- Series
- Formal approaches to computing and information technology
- Research Call Number
- JSE 98-1145