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

Video-lecture, Patterns in 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.