Browse editions

Current edition
Predicate Calculus and Program Semantics by Carel S. Scholten, Edsger W. Dijkstra

Predicate Calculus and Program Semantics

Monographs in Computer Science

Carel S. Scholten, Edsger W. Dijkstra

220 pages • missing pub info (editions)

nonfiction computer science mathematics medium-paced
Other editions (1)
Expand filter menu Filter editions
Predicate Calculus and Program Semantics by Edsger W.; Scholten Dijkstra
Predicate Calculus and Program Semantics
—
Edsger W.; Scholten Dijkstra

Predicate Calculus and Program Semantics

Monographs in Computer Science

Edsger W.; Scholten Dijkstra

220 pages • first pub 1989 (editions)

nonfiction computer science mathematics medium-paced