Predicate Calculus and Program Semantics (Monographs in Computer Science)
Full Title: | Predicate Calculus and Program Semantics (Monographs in Computer Science) |
---|---|
ISBN: | 0387969578 |
ISBN13: | 9780387969572 |
List Price: | USD $89.95 |
Authors: |
Dijkstra, Edsger W.; Scholten, Carel S. |