2.9.2 State Machines Invariants: Video

1,141 views · Published 12 September 2016 · 25:55 · Indexed 20 September 2026

Channel: MIT OpenCourseWare · 2016 · Education

Watch on YouTube

MIT 6.042J Mathematics for Computer Science, Spring 2015
View the complete course: http://ocw.mit.edu/6-042JS15
Instructor: Albert R. Meyer



License: Creative Commons BY-NC-SA
More information at http://ocw.mit.edu/terms
More courses at http://ocw.mit.edu

More from this channel

• 2:12 Team 15: Pre-Flight Interview | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  850 views · 4 February 2008

• 1:36 Team 15: Post-Flight Interview | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  626 views · 4 February 2008

• 4:06 Two Guys, Two Girls and an Airplane: Flight Attempt 2 | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  899 views · 4 February 2008

• 2:16 Team 9: Pre-Flight Interview | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  741 views · 4 February 2008

• 1:49 Team Firebolt: Pre-Flight Interview | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  827 views · 4 February 2008

• 7:42 Team 9: Flight Attempt | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  726 views · 4 February 2008

• 5:30 Team Double-Stuft Reduced-Fat Oreos: Post-Flight Interview | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  867 views · 4 February 2008

• 5:10 Team Double-Stuft Reduced-Fat Oreos: Flight Attempt 1 | MIT Unified Engineering, Fall 2005

  MIT OpenCourseWare

  863 views · 4 February 2008