Introduction to Formal Models in Computer Science
Lecture notes from the University of Washington covering basic topics such as computation models and theoretical concepts such as nondeterminism.

No queries for www.cs.washington.edu/education/courses/322/06sp