Web Development
Reactive Systems (English, Luca Aceto | Anna Ingolfsdottir | Jiri Srba)
₹5,259
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Genuine BookPhysical copy only
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
Product Description
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 Specifications
| ISBN-13 | 9780521875462 |
| ISBN-10 | 0521875463 |
| Publisher | Cambridge University Press |
| Category | Web Development |
Frequently Asked Questions
What is the price of Reactive Systems?
Reactive Systems is available at ₹5,259 on BookShops.in.
Does BookShops.in offer free delivery for Reactive Systems?
FREE delivery on all orders for Reactive Systems.
Is Cash on Delivery available for Reactive Systems?
Yes, Cash on Delivery (COD) is available for Reactive Systems on BookShops.in. Pay when your order arrives.
What is the return policy for Reactive Systems?
BookShops.in offers a 15-day hassle-free return policy for Reactive Systems. Contact us at support@bookshops.in or call +91 95575 56855.
Is Reactive Systems authentic?
Reactive Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
Customers Also Bought
Programming
Algorithms -- ESA 2004 | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer | by Susanne Albers | Tomasz Radzik | Springer
₹4,497
Programming
Design of the UNIX Operating System: United States Edition | by Maurice Bach | Pearson College Div | English | 1st Edition
₹4,726
Programming
Data Structures and Other Objects Using Java | by Michael Main | Pearson | English | 4th Edition
₹2,750
Programming
A Tour of C++ | by Bjarne Stroustrup | Addison-Wesley Professional | English | 3rd Edition
₹2,223
Programming
The Scheme Programming Language | by R. Kent Dybvig | Mit Pr | English | 4th Edition
₹5,294
Programming
Programming In C 2/E | by Pradip Dey, amp; Manas Ghosh | Oxford | English | Second Edition
₹998
Related Products
View All
Web Development
ENANTIOSELECTIVE MULTICATALYSED TANDEM REACTIONS | by Hélène Pellissier | Royal Society of Chemistry | English | GLD Edition
₹4,288
Web Development
Neutron Physics for Nuclear Reactors: Unpublished Writings by Enrico Fermi | by Esposito S | World Scientific Pub Co Inc | English
₹4,039
Web Development
Algorithms JavaScript (English, Hu | Yang)
₹4,035
Web Development
Web Development With Java: Using Hibernate, JSPs and Servlets | by Tim Downey | Springer-Nature New York Inc | English | 2007th Edition
₹5,310
Web Development
FUNDAMENTALS OF WEB DEVELOPMENT | by Randy Connolly | Ricardo Hoar | Pearson College Div | English | 2nd Edition
₹4,069
Web Development
Solvent Effects and Chemical Reactivity: 17 | by Orlando Tapia | Juan Bertrán | Springer | English | 1996th Edition
₹5,239