Skip to content
Free delivery across IndiaCash on delivery
BooksBajar
Cover of Formal Techniques in Real-Time and Fault-Tolerant Systems

Formal Techniques in Real-Time and Fault-Tolerant Systems

7th International Symposium

by Werner Damm, Ernst-Rüdiger Olderog

Springer · 2002 · Paperback

₹5,618

Free delivery. Nothing extra to pay at checkout.

  • 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.

About this book

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium by Werner Damm & Ernst-Rüdiger Olderog is a 453-page paperback edition published by Springer in 2002.

Its main subjects are Congresses, Real-time data processing, Fault-tolerant computing and Computer science.

Book details

ISBN-13
9783540441656
ISBN-10
3540441654
Authors
Werner Damm, Ernst-Rüdiger Olderog
Publisher
Springer
Published
2002
Edition
1 edition
Binding
Paperback
Pages
453
Language
English
Condition
New
Subject
Logic design

More by Werner Damm and related titles

See all