Formal Methods - Structure and Interpretation of Computer Programs - Paul Hilfinger - Lecture 7 of 40 - Video-lecture

Video-lecture, Software Engineering

Description: This audiovisual is about Formal Methods, Matters of Structure and Interpretation of Computer Programs. By Paul Hilfinger, Series of lectures part 7 of 40.
Document information
Uploaded by: freddye
Views: 153
University: University of Alaska System (AK)