The Design of Well-Structured and Correct Programs

The Design of Well-Structured and Correct Programs

Versandkostenfrei!
Versandfertig in 1-2 Wochen
38,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
19 °P sammeln!
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 algorithms and their design, synthesizing ten years of research in the process. It provides many examples of program and proof development with the aid of a formal and informal treatment of Hoare's method of invariants. Modem widely accepted control structures and data structures are explained in detail, together with their formal definitions, as a basis for their use in the design of correct algorithms. W...