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, Bergambacht, Netherlands

AbeBooks Seller since October 20, 2022

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

View this seller's items


Used - Hardcover

Price:
US$ 60.39
US$ 17.00 shipping
Ships from Netherlands to U.S.A.

Quantity: 1 available

Add to basket