|
|
COMP2600: Formal Methods for Software Engineering
The 2007 Archive
Text Books
The textbook is
- Logic and Discrete Mathematics: A Computer Science Perspective
by Grassman and Tremblay (Prentice-Hall, 1996).
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).
|
