Download or read book Formal Development of Programs and Proofs written by Edsger W. Dijkstra and published by Addison-Wesley Professional. This book was released on 1990 with total page 264 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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 and practitioners were invited from around the world for lectures and tutorials, for discussion and collaboration. The general objectives of these institutes were to advance the art and science of programming and to disseminate the best of what is known about programming theory and practice.