User Tools

Site Tools


start

Differences

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

Link to this comparison view

Both sides previous revisionPrevious revision
Next revision
Previous revision
start [2010/12/31 20:26] jonathanstart [2011/01/04 21:35] (current) jonathan
Line 4: Line 4:
 ===== Lecture Times ===== ===== Lecture Times =====
  
-  * Tuesdays/Thursday 11.30am-1pm BC-215+  * Tuesdays/Thursday 11.30am-1pm BC-215. **As of and including Thursday Jan 6, all classes will be held in the SEL (cseb2056)**
  
   * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset. For textbook and course slides see [[:textbook|here]].   * We will be using the [[http://www.event-b.org/platform.html|Rodin]] toolset. For textbook and course slides see [[:textbook|here]].
start.1293827191.txt.gz · Last modified: 2010/12/31 20:26 by jonathan

Donate Powered by PHP Valid HTML5 Valid CSS Driven by DokuWiki