9881 Topics in Computer Engineering: Program Specification and Calculation

This is an introductory graduate level course on programming methodology.

• An out of date outline of the course.
• A brief introduction to the course.