Difference between revisions of "Event-B Mathematical Language"

From Event-B
Jump to: navigation, search
m (add link to wiki doc)
m (orig version)
Line 1: Line 1:
 
== Event-B mathematical language ==
 
== Event-B mathematical language ==
;[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf in PDF format]
+
;[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf in PDF format]: original version
 
;[[Index (Mathematical language)|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 (Mathematical language)|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 15:28, 11 August 2008

Event-B mathematical language

in PDF format
original 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)