Biography
Dutch computer scientist
Books by Edsger Wybe Dijkstra
Selected Writings on Computing
Formal development of programs and proofs
Predicate calculus and program semantics
A method of programming
Selected Writings on Computing: A personal Perspective
A discipline of programming
A Discipline of Programming by Edsger W. Dijkstra
EWD 316
EWD 316
Notes on structural programmin
Notes on structural programming
Notes on structured programmin
Notes on structured programming
A primer of Algol 60 programming
A primer of Algol 60 programming, together with Report on the algorithmic language Algol 60