Research Catalog
Verifying temporal properties of systems
- Title
- Verifying temporal properties of systems / Julian Charles Bradfield.
- Author
- Bradfield, J. C.
- Publication
- Boston : Birkhäuser, c1992.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSE 93-888 | Offsite |
Details
- Description
- vi, 113 p. : ill.; 25 cm.
- Series Statement
- Progress in theoretical computer science
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 105-109) and index.
- Call Number
- JSE 93-888
- ISBN
- 0817636250 (hard : alk. paper)
- 3764336250 (alk. paper)
- LCCN
- 91039902
- OCLC
- 24792093
- NYPG92-B58419
- Author
- Bradfield, J. C.
- Title
- Verifying temporal properties of systems / Julian Charles Bradfield.
- Imprint
- Boston : Birkhäuser, c1992.
- Series
- Progress in theoretical computer science
- Bibliography
- Includes bibliographical references (p. 105-109) and index.
- Research Call Number
- JSE 93-888