This class-tested textbook provides a comprehensive and accessible introduction to the theory of automata and computation. It incorporates modern/handy ideas, such as derivative-based parsing and a La
Many textbooks on formal methods and verification do an excellent job of discussing theory -- often at the loss of providing examples. Computation Engineering: Formal Specification and Verification Me
This novel new textbook adopts a tool-oriented approach, teaching many topics through interactive problems before detailing the underlying methods and principles, thus engagingstudents' attenti