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 20 October 2022
Used - Hardcover
Price:
£ 44.83
Convert Currency
£ 12.62
shipping from Netherlands to U.S.A.
Destination, rates & speeds
Quantity: 1 available
Add to basket