Notes On Structured Programming [2 ed.]
223 54 2MB
English Pages 88 Year 1970
Table of contents :
To my readers.
On our inability to do much.
On the reliability of mechanisms.
On our mental aids.
An example of a correctness proof.
Cn the validity of proofs versus the validity of implementations.
On understanding programs.
On comparing programs.
A first example of step-wise program composition.
On program families.
On trading storage space for computation speed.
On a program model.
A second example of step-wise program composition.
On what we have achieved.
On grouping and sequencing.
To my readers.
On our inability to do much.
On the reliability of mechanisms.
On our mental aids.
An example of a correctness proof.
Cn the validity of proofs versus the validity of implementations.
On understanding programs.
On comparing programs.
A first example of step-wise program composition.
On program families.
On trading storage space for computation speed.
On a program model.
A second example of step-wise program composition.
On what we have achieved.
On grouping and sequencing.
![Notes On Structured Programming [2 ed.]](https://ebin.pub/img/200x200/notes-on-structured-programming-2nbsped.jpg)
- Author / Uploaded
- Edsger W. Dijkstra
![Introductory Structured COBOL Programming [2 ed.]
0534045669, 9780534045661](https://ebin.pub/img/200x200/introductory-structured-cobol-programming-2nbsped-0534045669-9780534045661.jpg)
