Reactive Systems (English, Luca Aceto | Anna Ingolfsdottir | Jiri Srba)
by Luca Aceto | Anna Ingolfsdottir | Jiri Srba
Delivery options
Reactive Systems by Luca Aceto | Anna Ingolfsdottir | Jiri Srba is listed under Web Development on BookBajar. Full details, specifications and reader reviews are below.
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
Reader's Guide
What This Book Covers
- ·The main subject matter of Reactive Systems
- ·Ideas and detail relevant to Web Development
- ·Context that helps make sense of the material as a whole
Best Suited For
Newcomers to the subject and general readers wanting an accessible starting point.
Why It Stands Out
- ·Ships as a genuine physical copy, checked before dispatch
- ·Covered by BookBajar's 15-day return window
Frequently Asked Questions
What is the price of Reactive Systems?
Reactive Systems starts from ₹5034 at BookBajar. Available in Paperback.
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.
What is BookBajar's return policy on Reactive Systems?
Reactive Systems can be returned within 15 days of delivery for a full refund. Reach out to info@bookbajar.in or call +91 9087 410 993 to start a return.
What is the ISBN of Reactive Systems?
Reactive Systems has ISBN 9780521875462 (ISBN-10: 0521875463). Use this to confirm you're ordering the exact edition listed here.
What can I expect from Reactive Systems?
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.
Product ID: isbn-9780521875462
🛒 Customers Also Bought
Financial Cryptography (English, Rafael Hirschfeld)
₹5,586
Guide to Wireless Network Security (English, John R. Vacca)
₹4,046
Softwaresysteme Und Ihre Modellierung (English, Peter Tabeling)
₹2,269
Developing Statistical Software in FORTRAN 95 (English, David R. Lemmon | Joseph L. Schafer)
₹2,219
Digitale Hardware/Software-Systeme (English, Jürgen Teich | Christian Haubelt)
₹2,779
Computer-Streifzüge (English, Prof Dr Max Jeger)
₹3,508Related Products
Open Internet Security (English, Stephan Fischer | Christoph Rensing | Utz Rödig)
₹3,360
Das Internet Der Dinge (English, Elgar Fleisch | Friedemann Mattern)
₹3,143
Digitale Wasserzeichen (English, Jana Dittmann)
₹2,415
Software-Entwurf Mit UML 2 (English, Jochen Seemann | Jürgen Wolff Von Gudenberg)
₹5,548
Computer Algebra Recipes (English, Richard H. Enns | George C. McGuire)
₹5,637