Exam (elaborations)
STRUCTURED PRORAMMING COMPLETE STUDY GUIDE
- Course
- Institution
Table of con tents. O To my reader. On our inability to do much. 4 On the reliability of mechan isms. 8 On our mental aids. 15 An example of a correctness proof. 19 On the validity of proofs versus the validity of implementations. 21 On understanding programs . 30 On comparing programs. ...
[Show more]