Theorem Proving - Structure and Interpretation of Computer Programs - Amir Kamal - Lecture 19 of 21 - Video-lecture

Video-lecture, Operating Systems

Description: This lecture describes Theorem Proving, Constituents of Structure and Interpretation of Computer Programs. By Amir Kamal, Series of lectures part 19 of 21.
Document information
Uploaded by: rothmans
Views: 258
University: University of Michigan (MI)