6.822 Formal Reasoning About Programs


Currently Offered: No

Availablity: Spring

Prereqs: 6.031, and 6.042.

Lecture: 2:30 PM to 4:00 PM on Mondays and Wednesdays

Location: 32-155

Instructors: A. Chlipala

Units: 3-0-9 (3 lecture, 9 homework)

Class Site: MIT + 6.822 - Google Search


© Copyright 2015