Modeling in Event-B

Discover the power of formal methods with Modeling in Event-B by Jean-Raymond Abrial, published by Cambridge University Press in 2010. This comprehensive hardback edition spans 612 pages and serves as an essential resource for both introductory and advanced courses in formal methods.

Delve into a mathematical approach to modeling and designing systems through the innovative extension of the B formal method known as Event-B. The book is rich with a diverse array of examples and exercises tailored to accommodate readers of all skill levels, ensuring a thorough understanding of the concepts presented.

Whether you are a student, educator, or professional in the field of computer science, Modeling in Event-B is a vital addition to your library, providing insights into mathematical models and the verification of computer systems.