Research Catalog
A survey of verification techniques for parallel programs
- Title
- A survey of verification techniques for parallel programs / Howard Barringer.
- Author
- Barringer, Howard, 1951-
- Publication
- Berlin ; New York : Springer-Verlag, c1985.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 85-1385 | Offsite |
Details
- Description
- vi, 114 p.; 25 cm.
- Series Statement
- Lecture notes in computer science ; 191
- Subject
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 85-1385
- ISBN
- 0387152393 (U.S.)
- 3540152393 (WB)
- LCCN
- 85009945
- OCLC
- 12053679
- NYPG85-B58909
- Author
- Barringer, Howard, 1951-
- Title
- A survey of verification techniques for parallel programs / Howard Barringer.
- Imprint
- Berlin ; New York : Springer-Verlag, c1985.
- Series
- Lecture notes in computer science ; 191
- Bibliography
- Includes bibliographical references.
- Research Call Number
- JSE 85-1385