Formal Techniques in Real-Time and Fault-Tolerant Systems

Name: Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings
Brand: Springer
SKU: 9783540410553
Price: 5646.00 INR
Availability: InStock

6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings

by Mathai Joseph

Springer

₹5,646

Free delivery. Nothing extra to pay at checkout.

New copy. Each book is ordered new from our distributor, Atlantic Books, after you place your order.
Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

From the publisher

The six Schools and Symposia on Formal Techniques in Real Time and Fault Tolerant Systems (FTRTFT) have seen the eld develop from tentative explo- tions to a far higher degree of maturity, and from being under the scrutiny of a few interested software designers and academics to becoming a well-established area of inquiry.

Description supplied by the publisher.