Research Catalog
Formal methods for concurrency
- Title
- Formal methods for concurrency / Clive Fencott.
- Author
- Fencott, P. C.
- Publication
- London : International Thomson Computer Press, 1996.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/Text | Request in advance | JSE 97-717 | Offsite |
Details
- Description
- xiii, 290 p.; 24 cm.
- Subjects
- Bibliography (note)
- Includes bibliographic references (p. 283-284) and index.
- Call Number
- JSE 97-717
- ISBN
- 1850321736
- LCCN
- gb 96018245
- OCLC
- 34494133
- Author
- Fencott, P. C.
- Title
- Formal methods for concurrency / Clive Fencott.
- Imprint
- London : International Thomson Computer Press, 1996.
- Bibliography
- Includes bibliographic references (p. 283-284) and index.
- Indexed Term
- Parallel programming
- Research Call Number
- JSE 97-717