The Design of Well-Structured and Correct Programs

by

Write The First Customer Review

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 not only provides a self-contained introduction to the language, but also offers algorithms which operate on sophisticated data structures, and provides the full axiomatic definition ...

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
The Design of Well-structured and Correct Programs 1978, Springer-Verlag Berlin and Heidelberg GmbH & Co. K, Berlin

ISBN-13: 9783540902997

Hardcover

Select