Edsger W. Dijkstra profile picture

Edsger W. Dijkstra

A Method of Programming
Formal Development of Programs and Proofs
Structured Programming
Methodik des Programmierens
Discipline of Programming
A Discipline of Programming
Selected Writings on Computing: A personal Perspective
Predicate Calculus and Program Semantics
Predicate Calculus and Program Semantics
A Discipline of Programming (Prentice-Hall Series in Automatic Computation) by Edsger W. Dijkstra (1976-03-03)