Research Catalog
Specification and proof in real-time CSP
- Title
- Specification and proof in real-time CSP / Jim Davies.
- Author
- Davies, Jim
- Publication
- Cambridge : Cambridge University Press, 1993.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSF 93-858 | Offsite |
Details
- Description
- xvii, 180 p.; 26 cm.
- Series Statement
- Distinguished dissertations in computer science
- Subject
- Thesis (note)
- Originally presented as the author's thesis (Ph.D.).
- Bibliography (note)
- Includes bibliographical references (p. [175]-180).
- Call Number
- JSF 93-858
- ISBN
- 0521450551
- OCLC
- 30033104
- NYPG94-B4861
- Author
- Davies, Jim.
- Title
- Specification and proof in real-time CSP / Jim Davies.
- Imprint
- Cambridge : Cambridge University Press, 1993.
- Series
- Distinguished dissertations in computer science
- Thesis
- Originally presented as the author's thesis (Ph.D.).
- Bibliography
- Includes bibliographical references (p. [175]-180).
- Research Call Number
- JSF 93-858