Research Catalog
Towards verified systems
- Title
- Towards verified systems / edited by Jonathan Bowen.
- Publication
- Amsterdam ; New York : Elsevier, 1994.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 94-2109 | Offsite |
Details
- Additional Authors
- Bowen, Jonathan.
- Description
- xxvi, 296 p. : ill.; 24 cm.
- Series Statement
- Real-time safety critical systems ; vol. 2
- Uniform Title
- Real-time safety critical systems ; 2.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 269-296).
- Call Number
- JSE 94-2109
- ISBN
- 0444899014 (acid-free paper)
- LCCN
- 94030630
- OCLC
- 30914198
- Title
- Towards verified systems / edited by Jonathan Bowen.
- Imprint
- Amsterdam ; New York : Elsevier, 1994.
- Series
- Real-time safety critical systems ; vol. 2Real-time safety critical systems ; 2.
- Bibliography
- Includes bibliographical references (p. 269-296).
- Added Author
- Bowen, Jonathan.
- Research Call Number
- JSE 94-2109