The book is currently out of stock
Modeling in Event-B
Authors
More about the book
This practical introduction to a model-based formal method offers a comprehensive exploration through a variety of illustrative examples. It aims to equip readers with the necessary tools and understanding to effectively apply this method in real-world scenarios, making complex concepts accessible and applicable.
Book purchase
Modeling in Event-B, Jean-Raymond Abrial
- Language
- Released
- 2010
We’ll notify you via email once we track it down.
Payment methods
- Title
- Modeling in Event-B
- Language
- English
- Authors
- Jean-Raymond Abrial
- Publisher
- Cambridge University Press
- Released
- 2010
- Format
- Hardcover
- Pages
- 614
- ISBN13
- 9780521895569
- Category
- Computers, IT, Programming
- Description
- This practical introduction to a model-based formal method offers a comprehensive exploration through a variety of illustrative examples. It aims to equip readers with the necessary tools and understanding to effectively apply this method in real-world scenarios, making complex concepts accessible and applicable.