Books used.

1. Michael Huth and Mark Ryan, Logic in Computer Science: modeling and reasoning about systems, Cambridge University Press.
2. Aditya Mathur, Foundations of Software Testing, in print.
3. Alfred V. Aho, Monical S. Lam, Ravi Sethi, and Jeffrey D. Ullman, Compilers Principles, Techniques, & Tools.

Suggested readings.

1. Edmund Clarke and Orna Grumberg, Model Checking, The MIT Press.
2. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides, Design Patterns.
3. Beck, Extreme Programming explained — Embrace Change.
4. Len Bass, Paul Clements, and Rick Kazman, Software Architecture in Practice .
5. Fowler, Refactoring: Improving the Design of Existing Code