Location: [CPSC 333] [Lecture Notes] Lectures for 1996
This page was most recently modified on January 14, 1996
The 1996 lectures are available as plain text (unformatted) files.
In 1996, more time was spent on structured development (and less on object-oriented development) than is planned for 1997. However, no other major changes are planned. Thus these notes may be a useful reference, but will match the material covered in this year's lectures exactly.
The final few CPSC 333 lectures in Winter, 1996 introduced a method for proving correctness of programs written in a simple procedural programming language. This was considered to be ``optional'' material (that is, it was not tested), and the notes for these lectures are not currently available online.
Location: [CPSC 333] [Lecture Notes] [Lectures for 1996]