Research Catalog
Verifying temporal properties of systems
- Title
- Verifying temporal properties of systems / Julian Charles Bradfield.
- Author
- Bradfield, J. C.
- Publication
- Boston : Birkhäuser, [1992], ©1992.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | QA76.9.A96 B73 1992 | Off-site |
Holdings
Details
- Description
- vi, 113 pages : illustrations; 25 cm.
- Series Statement
- Progress in theoretical computer science
- Uniform Title
- Progress in theoretical computer science.
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 105-109) and index.
- ISBN
- 0817636250 (hard : alk. paper)
- 3764336250 (alk. paper)
- LCCN
- 91039902
- OCLC
- 24792093
- ocm24792093
- Owning Institutions
- Columbia University Libraries