Formal Development of Programs and Proofs

Formal Development of Programs and Proofs
Author :
Publisher : Addison-Wesley Professional
Total Pages : 264
Release :
ISBN-10 : STANFORD:36105032504735
ISBN-13 :
Rating : 4/5 ( Downloads)

Book Synopsis Formal Development of Programs and Proofs by : Edsger W. Dijkstra

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.


Formal Development of Programs and Proofs Related Books