Difference between revisions of "Event-B Mathematical Language"

From Event-B
Jump to navigationJump to search
imported>Mathieu
m (orig version)
imported>Mathieu
m (Robot: Changing Category:User Documentation)
Line 3: Line 3:
 
;[[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)''
  
 
+
[[Category:User documentation]]
[[Category:User Documentation]]
 
 
[[Category:Event-B]]
 
[[Category:Event-B]]

Revision as of 20:27, 10 September 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)