Skip to content
Same-day shipping9% off: code GIG9
BooksBajar.com
Cover of Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems

Joint International Conferences on Formal Modeling and Analysis of

by Yassine Lakhnech, Sergio Yovine

Springer · 2004

₹5,580

Free delivery. Nothing extra to pay at checkout.

Same Day ShippingIn 3–5 days
15-Day ReturnEasy returns
Genuine BookPhysical copy only

Available Offers

  • 🏷️Use code GIG9, pay ₹5,080 — save ₹500 (up to ₹500 off per order)
  • 💵Cash on Delivery — pay when the parcel reaches you
Share:

About this book

Topics covered include Computer simulation, Congresses, Fault-tolerant computing and Formal methods (Computer science).

Book details

ISBN-13
9783540231677
ISBN-10
3540231676
Authors
Yassine Lakhnech, Sergio Yovine
Publisher
Springer
Published
2004
Edition
1 edition
Language
English
Condition
New
Subject
Theory of Machines

More in Theory of Machines