Predicate Calculus and Program Semantics

Dijkstra, Edsger W. / Scholten, Carel S.

Published by Springer, 1990. 220 pp. First edition.

Condition: Used Hardcover

AbeBooks Seller since 20 October 2022

Seller rating 5 out of 5 stars

Price: � 44.59 Convert Currency

� 12.55 shipping from Netherlands to United Kingdom Destination, rates & speeds

Quantity: 1 available

Add to basket

Original hardcover binding, in very good condition. Almost as new. Text in English. Please see description or ask for photos.

Seller Inventory # 223530826

Hortus Conclusus is een onafhankelijk en professioneel antiquariaat met een breed assortiment aan interessante boeken.

Antiquariaat Hortus Conclusus
Junostraat 6 unit 8, Den Haag, 2516 BR, Netherlands