Differences

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

--- textbook [2010/01/06 18:44] – jonathan
+++ textbook [2010/01/06 18:50] (current) – jonathan
@@ Line 3: / Line 3: @@
 You will require the following textbook for this course:
-  * Course Kit: SC/CSE 3341.3.0M Introduction to Program Verification, Winter 2010.
+  * Course Kit: SC/CSE 3341.3.0M Introduction to Program Verification, Winter 2010. You may purchase this course kit through the [[http://bookstore.yorku.ca|York University Bookstore]].
   * The above course kit is based on the forthcoming text [[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 forthcoming text (also in the course kit)
+  * [[http://www.event-b.org/abook.html|First two chapters]] of the forthcoming text (also in the course kit)
   * See slides and other resources 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.
-You may purchase this book through the [[http://bookstore.yorku.ca|York University Bookstore]].