Modeling in Event-B
System and Software Design
Jean-Raymond Abrial
Swiss Federal University (ETH), Zürich
Hardback
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:
Post a Comment