start
This is an old revision of the document!
F09-GS/CSE6411: Programming Logic for Complex Systems
- Please login to the wiki (see bottom ↓ of this page for login).
- Slides from the first lecture and for the second are available in the SVN repository.
- Please try out the Rodin Event-B Eclipse tool in preparation for Monday's class.
Lecture Times
Winter 2009: Starting Wednesday March 4th, 2009
Mondays and Wednesdays: 11:30am-1pm
Location: SEL (Software Engineering Laboratory, CSEB2056)
Office hours: after class.
start.1236792257.txt.gz · Last modified: 2009/03/11 17:24 by jonathan