Predicate Calculus and Program Semantics
Dijkstra, Edsger W. / Scholten, Carel S.
Published by Springer, 1990. 220 pp. First edition.
Condition: Used
Hardcover
Sold by Antiquariaat Hortus Conclusus, Den Haag, Netherlands
AbeBooks Seller since October 20, 2022
Used - Hardcover
Price:
US$ 59.85
US$ 16.85
shipping from Netherlands to U.S.A.
Quantity: 1 available
Add to basket