-53% OFFReactive Systems (English, Luca Aceto | Anna Ingolfsdottir | Jiri Srba)
by Luca Aceto | Anna Ingolfsdottir | Jiri Srba
Publisher: Cambridge University Press
Language: English
Inclusive of all applicable taxes. Free shipping on orders above ₹499, else ₹49 flat.
Available Offers
- 🚚Free Delivery — Free on orders above ₹499, else ₹49 flat
- 💵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
Specifications
| Publisher | Cambridge University Press |
| Language | English |
| ISBN-13 | 9780521875462 |
| ISBN-10 | 0521875463 |
| Author | Luca Aceto | Anna Ingolfsdottir | Jiri Srba |
Product Description
Here on GlowMirror, you'll find Reactive Systems filed under Web Development -- everything you need to know is covered below.
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
Book Insights
What You'll Learn
- ·In-depth exploration of topics covered in Reactive Systems
- ·Key concepts explained with clarity and practical examples
- ·Insights valuable for anyone studying or working in Web Development
Who Should Read This
Beginners and newcomers to the subject, as well as curious general readers.
Key Highlights
- ·Brand new physical book delivered across India
- ·15-day hassle-free return policy

![Practical Hacking Techniques and Countermeasures [With CDROM] (English, Mark D. Spivey)](/_next/image?url=https%3A%2F%2Fglowmirror.in%2Fimages%2Fproducts%2F9780849370571.webp&w=3840&q=75)









