-63% OFFSpringer
Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Hans Langmaack | Willem-Paul de Roever | Jan Vytopil)
₹4,298₹11,646Save 63%
Inclusive of all applicable taxes. FREE shipping on all orders.
Quantity:
1
Free DeliveryOn every order
15-Day ReturnEasy returns
Verified ListingQuality-checked
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
Book Details
| ISBN-13 | 9783540584681 |
| ISBN-10 | 3540584684 |
Product Description
About the Book
This volume presents the proceedings of the Third International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held jointly with the Working Group Provably Correct Systems (ProCoS) at Lübeck, Germany in September 1994. The book contains full versions of 5 invited talks and 33 carefully selected refereed contributions as well as 12 tool demonstrations. It documents that formal techniques constitute the foundation of a syste…
ISBN: 9783540584681
Frequently Asked Questions
What is the price of Formal Techniques in Real-Time and Fault-Tolerant Systems?
Formal Techniques in Real-Time and Fault-Tolerant Systems is available at ₹4,298 on BookShops.in.
Does BookShops.in offer free delivery for Formal Techniques in Real-Time and Fault-Tolerant Systems?
FREE delivery on all orders for Formal Techniques in Real-Time and Fault-Tolerant Systems.
Is Cash on Delivery available for Formal Techniques in Real-Time and Fault-Tolerant Systems?
Yes, Cash on Delivery (COD) is available for Formal Techniques in Real-Time and Fault-Tolerant Systems on BookShops.in. Pay when your order arrives.
What is the return policy for Formal Techniques in Real-Time and Fault-Tolerant Systems?
BookShops.in offers a 15-day hassle-free return policy for Formal Techniques in Real-Time and Fault-Tolerant Systems. Contact us at support@bookshops.in or call +91 81899 68108.
Is Formal Techniques in Real-Time and Fault-Tolerant Systems authentic?
Formal Techniques in Real-Time and Fault-Tolerant Systems is listed on BookShops.in after verification of product details including ISBN, title, and availability information.
