
Reactive Systems (English, Luca Aceto | Anna Ingolfsdottir | Jiri Srba)
by Luca Aceto | Anna Ingolfsdottir | Jiri Srba
Delivery options
₹11,098
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: ₹11,098
Book Details
Publisher
Cambridge University Press
Language
English
ISBN-13
9780521875462
ISBN-10
0521875463
Author
Luca Aceto | Anna Ingolfsdottir | Jiri Srba
About the Book
Formal methods is the term used to describe the specification and verification of software and software systems using mathematical logic. Various methodologies have been developed and incorporated into software tools. An important subclass is distributed systems. There are many books that look at particular methodologies for such systems, e.g. CSP, process algebra. This book offers a more balanced introduction for graduate students that describes…
ISBN: 9780521875462
ISBN-13: 9780521875462
ISBN-10: 0521875463
Frequently Asked Questions
What is the price of Reactive Systems?
Reactive Systems starts from ₹11098 at BookBajar. Available in Paperback. This is one of the best prices available online in India.
Who is the author of Reactive Systems?
Luca Aceto | Anna Ingolfsdottir | Jiri Srba is the author of Reactive Systems. Browse more books by Luca Aceto | Anna Ingolfsdottir | Jiri Srba on BookBajar.
Is Reactive Systems available in Paperback and Hardcover?
Yes, Reactive Systems is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Reactive Systems?
Yes, BookBajar offers free delivery for Reactive Systems across India. No minimum order value required.
Is Cash on Delivery available for Reactive Systems?
Yes, Cash on Delivery (COD) is available for Reactive Systems on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9780521875462
🛒 Customers Also Bought

Stanztechnik (English, Erich Krabbe)
₹4,220
Autoren-Verzeichnis Zur Bibliographie Der Veröffentlichungen Über Den Leichtbau Und Seine Randgebiet (English, Hermann Winter)
₹5,226
Internationales Privatrecht (English, Martin Wolff | Eduard Kohlrausch | Walter Kaskel)
₹4,138
Kostenberechnungen Im Wasserbau Und Grundbau (English, Armin Schoklitsch)
₹5,412
Objektive Photometrie (English, Rudolf Sewig)
₹5,966
Information Warfare and Organizational Decision-Making (Artech House Information Warfare Library) (English, Paperback, Alexander Kott)
₹5,427Related Products

Iterative Methods for Approximate Solution of Inverse Problems (English, A. B. Bakushinsky | M. Yu Kokurin)
₹3,817
The Data Center as a Computer (English, Luiz André Barroso | Urs Hölzle | Parthasarathy Ranganathan)
₹5,095
Writing Intimacy Into Feminist Geography (English, Paperback)
₹2,700
Homogeneous Catalysis: Understanding the Art (English, Hardcover)
₹2,700
Fishes of the Dakotas (English, Kathryn E. Schlafke | Matthew D. Wagner | Chelsey A. Pasbrig)
₹3,883