COMP2600: Formal Methods for Software Engineering - 2012

Text Book

• 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.

Reading Material

• 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.