Sökt på: Böcker av Edsger W. Dijkstra
totalt 5 träffar
Selected Writings on Computing: A personal Perspective
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to …
Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans- former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining …
Selected Writings on Computing: A personal Perspective
Since the summer of 1973, when I became a Burroughs Research Fellow, my life has been very different from what it had been before. The daily routine changed: instead of going to …
Predicate Calculus and Program Semantics
This booklet presents a reasonably self-contained theory of predicate trans former semantics. Predicate transformers were introduced by one of us (EWD) as a means for defining …
On the Shape of Mathematical Arguments
This book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms. Its purpose is to show how completeness of argument, …