Event-B Mathematical Language: Difference between revisions

From Event-B
Jump to navigationJump to search
imported>WikiSysop
New page: Event-B mathematical language in PDF format: [http://deploy-eprints.ecs.soton.ac.uk/11/2/mathLanguage-2007-10-26.pdf]
 
imported>WikiSysop
No edit summary
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