Modeling in Event-B (English, Jean-Raymond Abrial)
Delivery options
₹17,045
100% Genuine Book · Verified Seller
Free Shipping · Ships Today💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹17,045
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521895569
ISBN-10
0521895561
Author
Jean-Raymond Abrial
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
ISBN-13: 9780521895569
ISBN-10: 0521895561
Frequently Asked Questions
What is the price of Modeling in Event-B?
Modeling in Event-B starts from ₹17045 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Modeling in Event-B?
Jean-Raymond Abrial is the author of Modeling in Event-B. Browse more books by Jean-Raymond Abrial on BookBajar.
Is Modeling in Event-B available in Paperback and Hardcover?
Yes, Modeling in Event-B is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Modeling in Event-B?
Yes, BookBajar offers free delivery for Modeling in Event-B across India. No minimum order value required.
Is Cash on Delivery available for Modeling in Event-B?
Yes, Cash on Delivery (COD) is available for Modeling in Event-B on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521895569
🛒 Customers Also Bought
Einschwingvorgänge Gegenkopplung, Stabilität (English, J. Peters)
₹4,120
Die Neugestaltung Des Internationalen Rechts (English, D. Josephus Jitta)
₹4,124
Mathematische Begriffe Visualisiert Mit Maple (English, T. Westermann | W. Buhmann | L. Diemer)
₹4,203
Elektrische Antriebstechnik (English, Fritz Kümmel)
₹3,594
Das Völkerrechtliche Verhältnis Zwischen Der EU Und Russland Im Energiesektor (English, Sebastian Pritzkow)
₹7,974
Schmieden Und Pressen (English, P. H. Schweißguth)
₹5,596Related Products
Handbook on Modelling for Discrete Optimization (English, Gautam M. Appa | Leonidas Pitsoulis | H. Paul Williams)
₹12,248
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Advances in Cryptology (English, Hugh C. Williams)
₹5,656
Analysis II (English, Herbert Amann)
₹4,544
Informatik (English, Wolfgang Kastner | Gerhard Helge Schildt)
₹1,208