6.822 Formal Reasoning About Programs


Currently Offered: Yes

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, Spring 2018


© Copyright 2015