The following textbook is required for this course:

R. D. Tennent, Specifying Software: A Hands-On Introduction, Cambridge University Press, 2002, ISBN 0-521-00401-2 (paperback).

The text is available at the campus bookstore and undoubtedly in other bookstores. It is also available in the library (call number QA 76.6 .T4416 2002). I reserve the right to place it on reserve at any time during the term.