Difference between revisions of "Rodin Tutorials"

From Event-B
Jump to: navigation, search
m (link for the wiki version)
m (layout change)
Line 1: Line 1:
== Tutorials ==
+
== Tutorial 1 (celebrity, doors, galois, closure) ==
Tutorial 1 (celebrity, doors, galois, closure):
 
 
;[http://deploy-eprints.ecs.soton.ac.uk/10/ document and project archives]:  original and  somewhat outdated version
 
;[http://deploy-eprints.ecs.soton.ac.uk/10/ document and project archives]:  original and  somewhat outdated version
 
;[[Index (Rodin Tutorial)|in wiki format]]: translated from the original version, and being updated  ''(some formulas are not yet rendered well, but the problem is being worked out)''
 
;[[Index (Rodin Tutorial)|in wiki format]]: translated from the original version, and being updated  ''(some formulas are not yet rendered well, but the problem is being worked out)''

Revision as of 16:57, 15 July 2008

Tutorial 1 (celebrity, doors, galois, closure)

document and project archives
original and somewhat outdated version
in wiki format
translated from the original version, and being updated (some formulas are not yet rendered well, but the problem is being worked out)