Research Catalog
Predicate calculus and program semantics
- Title
- Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
- Author
- Dijkstra, Edsger W.
- Publication
- New York : Springer-Verlag, c1990.
Items in the Library & Off-site
Filter by
1 Item
| Status | Format | Access | Call Number | Item Location |
|---|---|---|---|---|
| Book/text | Request in advance | JSE 91-1882 | Offsite |
Details
- Additional Authors
- Scholten, Carel S.
- Description
- x, 220 p.; 25 cm.
- Series Statement
- Texts and monographs in computer science
- Subject
- Call Number
- JSE 91-1882
- ISBN
- 0387969578 (alk. paper)
- LCCN
- 89011540
- OCLC
- 20014580
- NYPG90-B76203
- Author
- Dijkstra, Edsger W.
- Title
- Predicate calculus and program semantics / Edsger W. Dijkstra, Carel S. Scholten.
- Imprint
- New York : Springer-Verlag, c1990.
- Series
- Texts and monographs in computer science
- Added Author
- Scholten, Carel S.
- Research Call Number
- JSE 91-1882