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

Structured Programming by Edsger Wybe Dijkstra; C. A. R. Hoare; Ole-Johan Dahl

Predicate Calculus and Program Semantics (Monographs in Computer Science)

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

The Lambda Calculus: Its Syntax and Semantics, H. P. Barendregt, Paperback 1995

A Discipline of Programming - Paperback By Edsger W. Dijkstra - GOOD

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

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