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

Video-lecture, Computers and 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.
Docsity is not optimized for the browser you're using. In order to have a better experience please switch to Google Chrome, Firefox, Internet Explorer 9+ or Safari! Download Google Chrome