The Department of Computer Science & Engineering
CSE 451: PROGRAM DEVELOPMENT (Fall 1999)
Prof. William J. Rapaport
Times: TTh 11:00 a.m. - 12:20 p.m.
Classroom: Knox 260
Introduction to the simultaneous development and verification of correct programs. In preparation for this, the first part of the course will contain lectures in formal logic and in program semantics. The second part will involve actual examples of program development.
Directory of on-line documents