COMP2600: Formal Methods for Software Engineering

Reading Material

There is no prescribed text for COMP2600, but the following are recommended references. More may be added as the semester progresses.

Logic and Discrete Mathematics: A Computer Science Perspective Grassmann and Tremblay, (Prentice Hall).
This book covers many (but not all) of the topics we meet in COMP2600. The Co-Op Bookshop has some copies and there are several in the Hancock Library.
Haskell: The Craft of Functional Programming (2e) Simon Thompson, (Addison Wesley).
Many of you will have this book from COMP1100, and there are several copies in the Hancock Library.
Discrete Mathematics with Applications (3e) Susanna Epp, (Thomson-Brooks/Cole).
There are several copies (1st and 2nd editions) in the Hancock Library.
The Logic Book Merrie Bergmann, (McGraw-Hill).
There are numerous copies of this textbook in the Chifley Library.
Discrete Mathematics for Computing John Munro, (Thomas Nelson).
There are several copies in the Hancock Library.


	College of Engineering and Computer Science School of Computer Science