JavaScript seems to be disabled in your browser. For the best experience on our site, be sure to turn on Javascript in your browser.

Predicate Calculus and Program Semantics

Name: Predicate Calculus and Program Semantics
SKU: 9780387969572
Price: 35 USD
Availability: InStock

By Edsger W Dijkstra,Carel S Scholten

Details

Authors: Edsger W Dijkstra,Carel S Scholten

Format: Hardcover

GTIN13: 9780387969572

ISBN10: 0387969578

Publisher: Springer