Edsger W.; Scholten Dijkstra

1 book

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