Home » Courses » Electrical Engineering and Computer Science » Mathematics for Computer Science » Unit 1: Proofs » 1.9 State Machines - Invariants
Flash and JavaScript are required for this feature.
> Download from iTunes U (MP4 - 38MB)
> Download from Internet Archive (MP4 - 38MB)
> Download this transcript - PDF English - US
> Download English - US subtitle (SRT)
