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

Selected Writings on Computing: A personal Perspective

Edsger W. Dijkstra - Computers - 2012 - 362 pages
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 ...
Limited preview - About this book

Computer Science: A Modern Introduction

Les Goldschlager, Andrew Martin Lister - Computers - 1988 - 330 pages
'Computer Science: A Modern Introduction' provides an introductory overview of the discipline of computer science, using the notion of algorithms as the unifying concept.
Snippet view - About this book




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