Research Catalog
The Theory and practice of refinement : approaches to the formal development of large-scale software systems
- Title
- The Theory and practice of refinement : approaches to the formal development of large-scale software systems / edited by John A. McDermid.
- Publication
- London ; Boston : Butterworths, 1989.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 90-1141 | Offsite |
Details
- Additional Authors
- Description
- 217 p.; 24 cm.
- Subject
- Note
- "Based on the proceedings of a Workshop on the Theory and Practice of Refinement held at the King's Manor in York on 7th and 8th January 1988"--
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 90-1141
- ISBN
- 0408039817
- LCCN
- 89022172
- OCLC
- 20217420
- NYPG90-B5192
- Title
- The Theory and practice of refinement : approaches to the formal development of large-scale software systems / edited by John A. McDermid.
- Imprint
- London ; Boston : Butterworths, 1989.
- Bibliography
- Includes bibliographical references.
- Added Author
- McDermid, John.Workshop on the Theory and Practice of Refinement (1988 : York, England)
- Research Call Number
- JSE 90-1141