Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 10 of about 27 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




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