Formal Development of Programs and Proofs

by Edsger W. Dijkstra

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... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0201172372
• ISBN13: 9780201172379
• Release Date: January 1990
• Publisher: Addison-Wesley Professional
• Length: 242 Pages
• Weight: 1.15 lbs.
• Dimensions: 0.6" x 6.6" x 9.5"