Difference between revisions of "Event-B Mathematical Language"

From Event-B
Jump to: navigation, search
(New page: Event-B mathematical language in PDF format: [http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf])
 
Line 1: Line 1:
Event-B mathematical language in PDF format:
+
Event-B mathematical language  
[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf]
+
[http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf in PDF forma]

Revision as of 12:29, 12 June 2008

Event-B mathematical language in PDF forma