A practical text suitable for an introductory or advanced course in formal methods, this book presents a mathematical approach to modelling and designing systems using an extension of the B formal method: Event-B. Contains a wide variety of examples and exercises ranging in difficulty to suit readers at all levels.
Ik heb een vraag over het boek: ‘Modeling in Event-B - Abrial, Jean-Raymond’.
Vul het onderstaande formulier in.
We zullen zo spoedig mogelijk antwoorden.
