Predicate Calculus and Program Semantics

Dijkstra, Edsger W. / Scholten, Carel S.

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

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

Bibliographic Details

Title: Predicate Calculus and Program Semantics

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

Binding: Hardcover