Web Development
Formal Development of Reactive Systems (English, Claus Lewerentz | Thomas Lindner)
₹2,614
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
This book is based upon work done under the project "Correct Software through Formal Methods" supported by the German Ministry of Research and Technology. As a case-study report on the practice of formal software development, this book systematically presents and compares 18 different approaches to the control of a real-world production cell. Mathematically precise, formal methods play an increasingly important role in software development, parti…
ISBN: 9783540588672
Book Specifications
| ISBN-13 | 9783540588672 |
| ISBN-10 | 3540588671 |
| Publisher | Springer |
| Category | Web Development |
Frequently Asked Questions
What is the price of Formal Development of Reactive Systems?
Formal Development of Reactive Systems is available at ₹2,614 on BookShops.in.
Does BookShops.in offer free delivery for Formal Development of Reactive Systems?
FREE delivery on all orders for Formal Development of Reactive Systems.
Is Cash on Delivery available for Formal Development of Reactive Systems?
Yes, Cash on Delivery (COD) is available for Formal Development of Reactive Systems on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Development of Reactive Systems?
BookShops.in offers a 15-day hassle-free return policy for Formal Development of Reactive Systems. Contact us at support@bookshops.in or call +91 95575 56855.
Is Formal Development of Reactive Systems authentic?
Formal Development of 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 | by Susanne Albers | Tomasz Radzik | Springer | by Su
₹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