textbook

This is an old revision of the document!

Textbook

You will require the following textbook for this course:

Course Kit: SC/CSE 3341.3.0M Introduction to Program Verification, Winter 2010.
The above course kit is based on the forthcoming text Modeling in Event-B.
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.

You may purchase this book through the York University Bookstore.

textbook.1262803450.txt.gz · Last modified: 2010/01/06 18:44 by jonathan