Average Reviews:
(More customer reviews)This is an official text book for Event-b.
The samples are on the web.
I input these sample codes with typing.
There are some differences between the book and the web.
You can discuss about that in the Event-b mailing list.
Some errata are on the Event-B web.
After doing samples, you may be a specialist about Event-b.
Click Here to see more reviews about: Modeling in Event-B: System and Software Engineering
Click here for more information about Modeling in Event-B: System and Software Engineering
