Schedule: Lecture Slot 1 in SIC 301 Kresit
Instructor: Om Damani Office hours: Fri 5-6
Moodle: Slides, Assignments, Solutions, Reference Materals, Newsgroup etc.
Pre-requisites CS 420: Program Derivation
1. [Kal] Anne Kaldewaij, Programming: The Derivation of Algorithms, Prentice Hall International, 1990.