PREDICATE CALCULUS AND PROGRAM SEMANTICS (MONOGRAPHS IN By Edsger W. Dijkstra

Predicate Calculus and Program Semantics (Monographs in Computer Science), Schol

Predicate Calculus and Program Semantics by Edsger W. Dijkstra (English) Paperba

Predicate Calculus and Program Semantics (Monographs in Computer Science)

A Discipline of Programming, USED-Acceptable, Edsger W. Dijkstra

Predicate Calculus and Program Semantics (Monographs in Computer Science) Dijkst

Formal Development of Programs and Proofs edited by Edsger Dijkstra (hardcover)

Dijkstra - Predicate Calculus and Program Semantics - New paperback or - X555z