The Design of Well-Structured and Correc
β
Suad Alagic, Michael A. Arbib
π
Library
π
1978
π
Springer
π
English
β 2 MB
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