Tell your friends about this item:
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings - Lecture Notes in Computer Science W Damm 2002 edition
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, FTRTFT 2002, Co-sponsored by IFIP WG 2.2, Oldenburg, Germany, September 9-12, 2002. Proceedings - Lecture Notes in Computer Science
W Damm
This volume contains the proceedings of FTRTFT 2002, the International S- posium on Formal Techniques in Real-Time and Fault-Tolerant Systems, held at the University of Oldenburg, Germany, 9-12 September 2002.
462 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 28, 2002 |
| ISBN13 | 9783540441656 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 462 |
| Dimensions | 155 × 235 × 24 mm · 680 g |
| Language | German |
| Editor | Damm, Werner |
| Editor | Olderog, Ernst-Rudiger |