Publié le 26/05/2010 |

Jean-Raymond Abrial’s Event-B book has been published in may 2010.
This 600+ page book, written in english, is entitled “Modeling in Event-B: System and Software Design”.
It deals with system and software modeling in Event-B, a language issued from the B Method and allowing the description of systems with events.