Skip to main content
PBS logo
 
 

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

The Design of Well-Structured and Correct Programs (Monographs in Computer Science)
The Design of WellStructured and Correct Programs - Monographs in Computer Science
Author: Suad Alagic, Michael A. Arbib
This text synthesizes ten years of research in top-down program design and verification of program correctness. It shows how these techniques may be used in day-to-day programming with the PASCAL language. Many examples of programs and proof development, as well as an explanation of control and data structures, are pro- vided. As a PASCAL progra...  more »
ISBN-13: 9780387902999
ISBN-10: 0387902996
Publication Date: 3/28/1978
Pages: 292
Edition: 1
Rating:
  ?
0 stars, based on 0 rating
Publisher: Springer
Book Type: Hardcover
Members Wishing: 0
Reviews: Amazon | Write a Review


Genres:


Back to the Top ↑
By using this Web site, you confirm that you have read, understood, and agreed to be bound by the Terms of Use. As an Amazon Associate we earn from qualifying purchases.
US Patent Number 7,877,315 | Copyright © 2004 - 2024 PaperBackSwap.com. All Rights Reserved.