textbook
Differences
This shows you the differences between two versions of the page.
| Next revision | Previous revision | ||
| textbook [2007/07/31 18:42] – external edit 127.0.0.1 | textbook [2010/12/31 17:15] (current) – jonathan | ||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ====== Textbook ====== | ====== Textbook ====== | ||
| - | You will require the following textbook | + | There is no required text. The Event-B site (see below) has slides and aditional material |
| - | * Jane Doe. //Absolute Computing//. Second edition. Addison Wesley, 2007. | + | * The following recommended text is on reserve in Steacie[[http:// |
| - | + | * [[http://www.event-b.org/abook.html|First two chapters]] of the text | |
| - | You may purchase | + | * The slides for this course and other resources may be found at [[http://wiki.event-b.org/ |
| + | * Event-B [[http:// | ||
textbook.1185907323.txt.gz · Last modified: 2010/12/31 15:55 (external edit)