Program Correctness - Development of Abstraction Techniques in Computer Science - Brian Harvey - Lecture 4 of 41 - Video-lecture

Video-lecture, Programming Abstractions

Description: This video is about Program Correctness, Constituents of Development of Abstraction Techniques in Computer Science. By Brian Harvey, Series of lectures part 4 of 41.