CS 402: Advanced Program Derivation (Fall 2013)

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

Text Books

Unfortunately the following book is out of print. The instructor will make the required material available.

1. [Kal] Anne Kaldewaij, Programming: The Derivation of Algorithms, Prentice Hall International, 1990.

Reference Books

1. [Dij] Edsger W. Dijkstra, A Method of Programming, Addidon-Wesley, 1988.