✦ LIBER ✦
Predicate calculus and program semantics : Edsger W. Dijkstra and Carel S. Scholten, texts and monographs in computer science (Springer, Heidelberg, 1989), Price 78.00 DM (hardback), ISBN 3-540-96957-8
✍ Scribed by Brian Monahan
- Publisher
- Elsevier Science
- Year
- 1991
- Tongue
- English
- Weight
- 336 KB
- Volume
- 17
- Category
- Article
- ISSN
- 0167-6423
No coin nor oath required. For personal study only.