booktheque

Predicate Calculus and Program Semantics

Edsger Wybe Dijkstra · 1990

Where to buy

Check today’s price on Amazon. We do not show prices because they change daily.

View on Amazon

Affiliate link. As an Amazon Associate we earn from qualifying purchases.

Book details

Year
1990
Language
English
Series
Texts and Monographs in Computer Science
Publisher
Springer New York
Editions
1
Pages
220
ISBN
9781461279242

Data source: Wikidata

More by Edsger Wybe Dijkstra