Cambridge University Press
Modeling in Event-B (English, Jean-Raymond Abrial)
₹4,277₹17,045Save 75%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
Available Offers
- 🚚Free Delivery — Free shipping on all orders
- 💵Cash on Delivery — Pay when your order arrives
- ↩️15-Day Easy Returns — Hassle-free return policy
- 🔒Cash on Delivery — Pay safely when your order arrives
Check Delivery
Book Details
| ISBN-13 | 9780521895569 |
| ISBN-10 | 0521895561 |
Product Description
About the Book
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. Based on the idea of refinement, the author's systematic approach allows the user to construct models gradually and to facilitate a systematic reasoning method by means of proofs. Readers will learn how to build models of programs and,…
ISBN: 9780521895569
Frequently Asked Questions
What is the price of Modeling in Event-B?
Modeling in Event-B is available at ₹4,277 on BookShops.in.
Does BookShops.in offer free delivery for Modeling in Event-B?
FREE delivery on all orders for Modeling in Event-B.
Is Cash on Delivery available for Modeling in Event-B?
Yes, Cash on Delivery (COD) is available for Modeling in Event-B on BookShops.in. Pay when your order arrives.
What is the return policy for Modeling in Event-B?
BookShops.in offers a 15-day hassle-free return policy for Modeling in Event-B. Contact us at support@bookshops.in or call +91 81899 68108.
Is Modeling in Event-B authentic?
Modeling in Event-B is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
