COMP2600: Formal Methods for Software Engineering
The 2006 Archive
Text Books
The textbook for COMP2600 is
- Logic and Discrete Mathematics: A Computer Science Perspective
by Grassman and Tremblay (Prentice-Hall, 1996).
There is a good texbook on Z that is available on the web. It's by Davies
and Woodcock at Oxford and its URL is:
http://softeng.comlab.ox.ac.uk/usingz/
Other useful books, that you may come across, are:
- Discrete Mathematics with Applications
by Susanna Epp (Wadsworth, 1995). [This has often been
a textbook in mathematics at ANU.]
- Haskell: The Craft of Functional Programming
by Simon Thompson (Addison-Wesley,1999).
- Formal Languages and their Relation to Automata
by John Hopcroft & Jeffrey Ullman (Addison-Wesley, 1969).
