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