Predicate Calculus and Program Semantics

Dijkstra, Edsger W. / Scholten, Carel S.

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

Hardcover

Save for Later

From Antiquariaat Hortus Conclusus, Den Haag, Netherlands

Seller rating 5 out of 5 stars

AbeBooks Seller since 20 October 2022

View this seller's items

View all copies of this book

Used - Hardcover

Price: � 43.84 Convert Currency

� 12.34 shipping from Netherlands to U.S.A. Destination, rates & speeds

Quantity: 1 available

Add to basket

Save for Later

About this Item

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

Contact seller

Report this item

Bibliographic Details

Title: Predicate Calculus and Program Semantics

Publisher: Springer, 1990. 220 pp. First edition.

Binding: Hardcover

Store Description

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

Visit Seller's Storefront

Seller's business information

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

Terms of Sale:

Shipping Terms:

Payment Methods
accepted by seller

PayPal Bank/Wire Transfer

Add to Wants