6.822 Formal Reasoning About Programs


Currently Offered: No

Prereqs: 6.031, and 6.042.

Instructors:

Grad: Y

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

Class Site: MIT + 6.822 - Google Search

Stellar: 6.822 Stellar site


© Copyright 2015