Monday, January 4, 2010

Modeling in Event-B

 
Modeling in Event-B
System and Software Design
Jean-Raymond Abrial
Swiss Federal University (ETH), Zürich
Hardback
 (ISBN-13: 9780521895569)
Not yet published - available from June 2010
 (Stock level updated: 12:41 GMT, 04 January 2010)
c. £60.00

http://www.cambridge.org/uk/catalogue/catalogue.asp?isbn=9780521895569
http://www.event-b.org/abook.html

No comments: