Differences

This shows you the differences between two versions of the page.

--- textbook [2010/12/31 15:56] – jonathan
+++ textbook [2010/12/31 17:15] (current) – jonathan
@@ Line 1: / Line 1: @@
 ====== Textbook ======
-  * The following text is on reserve in Steacie[[http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521895569|Modeling in Event-B]].
+There is no required text. The Event-B site (see below) has slides and aditional material for this course. Also, consult the SVN.
+  * The following recommended text is on reserve in Steacie[[http://www.cambridge.org/catalogue/catalogue.asp?isbn=9780521895569|Modeling in Event-B]].
   * [[http://www.event-b.org/abook.html|First two chapters]] of the text
   * The slides for this course and other resources may be found at [[http://wiki.event-b.org/index.php/Event-B_Language|Event-B documentation]].
   * Event-B [[http://www.cse.unsw.edu.au/~cs2111/COMP2111/|course]] at UNSW. Event-B is also taught at ETH in Zurich.