Research Catalog
Predicate transformer semantics
- Title
- Predicate transformer semantics / Ernest G. Manes.
- Author
- Manes, Ernest G., 1943-
- Publication
- Cambridge ; New York : Cambridge University Press, 1992.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Text | Request in advance | JSF 94-338 | Offsite |
Details
- Description
- 223 p. : ill.; 26 cm.
- Series Statement
- Cambridge tracts in theoretical computer science ; 33
- Subjects
- Bibliography (note)
- Includes bibliographical references (p. 216-220) and index.
- Call Number
- JSF 94 338
- ISBN
- 0521420369;
- LCCN
- 92249094
- OCLC
- 27085616
- Author
- Manes, Ernest G., 1943-
- Title
- Predicate transformer semantics / Ernest G. Manes.
- Imprint
- Cambridge ; New York : Cambridge University Press, 1992.
- Series
- Cambridge tracts in theoretical computer science ; 33
- Bibliography
- Includes bibliographical references (p. 216-220) and index.
- Indexed Term
- Programming
- Research Call Number
- JSF 94 338