Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Bengt Jonsson | Joachim Parrow)
Springer

Formal Techniques in Real-Time and Fault-Tolerant Systems (English, Bengt Jonsson | Joachim Parrow)

5,624

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 DeliveryFree shipping on all orders
  • 💵Cash on DeliveryPay when your order arrives
  • ↩️15-Day Easy ReturnsHassle-free return policy
  • 🔒Cash on DeliveryPay safely when your order arrives

Check Delivery

Book Details

ISBN-139783540616481
ISBN-103540616489

Product Description

About the Book

This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calcu…

ISBN: 9783540616481

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 ₹5,624 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.