MIT OCW 6.005 on state machine programming

While reading MIT OCW 6.01 on state machine programming, I googled that there is another course, 6.005 also talking about state machines.  I have never heard of this course before.  I skimmed the lecture notes and found some interesting lectures.  Perhaps I should also read them.

http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-005-elements-of-software-construction-fall-2011/lecture-notes/MIT6_005F11_lec04.pdf

Elements of Software Construction

http://ocw.mit.edu/courses/electrical-engineering-and-computer-science/6-005-elements-of-software-construction-fall-2011/index.htm

These lecture notes have been collaboratively authored, with contributions from Saman Amarasinghe, Srini Devadas, Michael Ernst, John Guttag, Daniel Jackson, Rob Miller, Martin Rinard, and Armando Solar-Lezama. Used with permission.

LECTURE NOTES	SUPPORTING FILES
Lecture 1: Static checking (PDF) Addendum: Snapshot diagrams (PDF)	(ZIP) (This ZIP file contains: 1 .java file.)
Lecture 2: Test-first programming (PDF)	(ZIP) (This ZIP file contains: 2 .java files.)
Lecture 3: Specifications (PDF - 1.0MB)	(ZIP) (This ZIP file contains: 2 .java files.)
Lecture 4: State machines (PDF - 1.1MB)	(ZIP) (This ZIP file contains: 5 .java files.)
Lecture 5: Regular expressions and grammars (PDF)	(ZIP) (This ZIP file contains: 10 .java files.)
Lecture 6: Abstract data types (PDF - 1.2MB)	(ZIP) (This ZIP file contains: 8 .java files.)
Lecture 7: Recursive data types (PDF)	(ZIP) (This ZIP file contains: 4 .java files.)
Lecture 8: Interpreters and visitors (PDF - 1.1MB)	(ZIP) (This ZIP file contains: 8 .java files.)
Lecture 9: Review
Lecture 10: Concurrency (PDF)	(ZIP) (This ZIP file contains: 3 .java files.)
Lecture 11: Processes and sockets (PDF)	(ZIP) (This ZIP file contains: 2 .java files.)
Lecture 12: Thread safety (PDF)	(ZIP) (This ZIP file contains: 4 .java files.)
Lecture 13: Synchronization (PDF)	(ZIP) (This ZIP file contains: 19 .java files.)
Lecture 14: Graphical user interfaces (PDF - 1.2MB)	(ZIP) (This ZIP file contains: 4 .java files.) In the beforeclass\hogwarts\gui\images folder, three images (harry.jpg, hermione.jpg, and no-photo.jpg) have been removed due to copyright restrictions.
Lecture 15: Map, filter, reduce (PDF)	(ZIP - 8.9MB) (This ZIP file contains: 12 .class files, 5 .java files, 4 .py files, and 1 .jar file) Jython 2.5.2 © Python Software Foundation. All rights reserved. This content is excluded from our Creative Commons license. For more information, see http://ocw.mit.edu/fairuse.
Lecture 16: Little languages (PDF)	(ZIP - 8.9MB) (This ZIP file contains: 17 .java files, 1 .py file, and 1 .jar file.) Jython 2.5.2 © Python Software Foundation. All rights reserved. This content is excluded from our Creative Commons license. For more information, see http://ocw.mit.edu/fairuse.

.END