The Design of Well-Structured and Correct Programs

by ,

Write The First Customer Review
The Design of Well-Structured and Correct Programs - Alagic, Suad, and Arbib, Michael A

This text synthesizes 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 provided. As a PASCAL programming text, it ...

The Design of Well-Structured and Correct Programs 2011, Springer

ISBN-13: 9781461262749

Softcover Reprint of the Origi edition

Trade paperback

Select
The Design of Well-Structured and Correct Programs 1978, Springer, New York, NY

ISBN-13: 9780387902999

1978 edition

Hardcover

Select