The Design of Well-Structured and Correct Programs (Monographs in Computer Science)

by Suad Alagic and Michael A. Arbib

Book Overview

The major goal of this book is to present the techniques of top-down program design and verification of program correctness hand-in-hand. It thus aims to give readers a new way of looking at... This description may be from another edition of this product.

• Format: Hardcover
• Language: English
• ISBN: 0387902996
• Release Date: January 1978
• Publisher: Springer
• Length: 292 Pages
• Weight: 1.50 lbs.
• Dimensions: 9.5" x 6.3" x 0.8"