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 English-US transcript (PDF)
> Download English-US caption (SRT)
