Current courses

Functional and Logic Programming

Textbook

Harold Abelson and Gerald Jay Sussman: Structure and Interpretation of Computer Programs, 2/e, MIT Press, 1997.

Object-Oriented Software Construction

Textbook

Bertrand Meyer: Object-Oriented Software Construction, 2/e, Prentice Hall, 1997.

Intelligent Tools for Software Engineering

Textbook

Charles Rich and Richard C. Waters: The Programmer's Apprentice, Addison Wesley, 1990.

Software Development Environments

Textbooks

Sherry Shavor, Jim D'Anjou, Scott Fairbrother, Dan Kehn, John Kellerman, and Pat McCarthy: The Java Developer's Guide to Eclipse, Addison-Wesley, 2003.

Erich Gamma and Kent Beck: Contributing to Eclipse: Principles, Patterns, and Plug-Ins, Addison-Wesley, 2004.

Other courses

Computer-Aided Reasoning

Textbooks

• Matt Kaufmann, Panagiotis Manolios, and J Strother Moore, Computer-Aided Reasoning: An Approach, Kluwer Academic Publishers, June, 2000.
• Matt Kaufmann, Panagiotis Manolios, and J Strother Moore (eds.), Computer-Aided Reasoning: ACL2 Case Studies, Kluwer Academic Publishers, June, 2000.

Introduction to Artificial Intelligence

Textbook

Patrick H. Winston: Artificial Intelligence, 3/e, Addison-Wesley, 1992.