Modeling in Event-B
Jean-Raymond Abrial
Cambridge University Press, 2010
201,25 €On orderDelivery: 2-3 weeks
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.
- ISBN-13
- 9780521895569
- ISBN-10
- 0521895561
- Publisher
- Cambridge University Press
- Year
- 2010
- Publication date
- 2010-05-13
- Pages
- 612
- Dimensions
- 251x192x37
- Weight
- 1318