Editions

Formal Techniques in Real-Time and Fault-Tolerant Systems

Current edition
Formal Techniques in Real-Time and Fault-Tolerant Systems by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

208 pages

nonfiction computer science health science medium-paced
Other editions (6)
Expand filter menu Filter editions
Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988 by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: Proceedings of a Symposium, Warwick, Uk, September 22-23, 1988

232 pages

nonfiction computer science health science medium-paced
Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000 Pune, India, September 20-22, 2000 Proceedings

314 pages

nonfiction computer science health science medium-paced
Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings

490 pages

nonfiction computer science health science medium-paced
Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct Sys

787 pages

nonfiction computer science health science medium-paced
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany,

462 pages

nonfiction computer science health science medium-paced
Formal Techniques in Real-Time and Fault-Tolerant Systems by

Lecture Notes in Computer Science

Formal Techniques in Real-Time and Fault-Tolerant Systems

208 pages

nonfiction computer science health science medium-paced