Modeling in event-b: system and software engineering
Auteur :
Abrial, Jean-Raymond
Éditeur :
Cambridge University Press
ISBN :
9780521895569
Date de publication :
13 mai 2010
Dimensions :
25,3 x 19,5 x 3,5 cm
Poids :
1320 g
Langue :
Anglais
Pays d'origine :
Grande Bretagne
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.