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 [email protected] or call +91 81899 68108.
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
Algorithmische Sprache Und Programmentwicklung | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer | P. Pepper | Springer | by H. Partsch | F. L. Bauer
₹3,143
Programming
Distributed Algorithms | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean-Claude Bermond | Michel Raynal | Springer | by Jean
₹5,539
Programming
Meta-Level Control for Deductive Database Systems | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schmidt | Springer | by Helmut Schm
₹5,458
Programming
Java Web Services | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'Reilly Media | by David A. Chappell | Tyler Jewell | O'
₹3,680
Programming
Database in Depth | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J. Date | O'Reilly Media | by Chris J.
₹3,158
Programming
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problem | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson | Springer | by Nicolas Beldiceanu | Narendra Jussien | Eric Pinson |
₹5,602
Related Products
View All
Web Development
Reactions and Characterization of Solids | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dann | Royal Society of Chemistry | by Sandra E. Dan
₹2,029
Web Development
Membrane Reactors for Hydrogen Production Processes | by Marcello De Falco | Luigi Marrelli | Gaetano Iaquaniello | Springer | by Marcello De Falco | Luigi Marrelli | Gaetano Iaquaniello | Springer | by Marcello De Falco | Luigi Marrelli | Gaetano Iaquaniello | Springer | by Marcello De Falco | Luigi Marrelli | Gaetano Iaquaniello | Springer | by Marcello De Falco | Luigi Marrelli | Gaetano Iaquaniello | Springer | by Marcello De Falco | Luigi Marrelli | Gaetano Iaquaniello | Springer | by Marce
₹5,441
Web Development
JavaScript for Kids for Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by Chris Minnick | For Dummies | by C
₹2,106
Web Development
Html Css & JavaScript All-In-One for Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by McFedries | Paul | Dummies | by Mc
₹2,192
Web Development
Reaction Mechanisms in Environmental Organic Chemistry | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | by Richarda. Larson | CRC Press | b
₹4,043
Web Development
Algorithms JavaScript (English, Hu | Yang)
₹4,035