Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 10 related to A Discipline of Programming.   

Formal Development of Programs and Proofs

Edsger Wybe Dijkstra - Computers - 1990 - 242 pages
In 1987, The University of Texas at Austin sponsored the Year of Programming, which consisted of six institutes on selected topics in computer programming. Leading scientists ...
Snippet view - About this book

Structured programming

Ole-Johan Dahl, Edsger Wybe Dijkstra, Charles Antony Richard Hoare - Computers - 1972 - 220 pages
Details the use of practical programming techniques and abstract, theoretical data processing concepts in structured computer systems
Snippet view - About this book

Beauty Is Our Business: A Birthday Salute to Edsger W. Dijkstra

W.H.J. Feijen, David Gries - Computers - 1990 - 453 pages
A collection of contributions on programming theory in computer science and mathematics, celebrating the work of Edsger W. Dijkstra.
Limited preview - About this book

Predicate Calculus and Program Semantics

Edsger W. Dijkstra, Carel S. Scholten - Computers - 2012 - 220 pages
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 ...
Limited preview - About this book

The Science of Programming

David Gries - Computers - 1989 - 388 pages
No preview available - About this book

  1. My library
  2. Help
  3. Advanced Book Search