Formal Techniques in Real-Time and Fault-Tolerant Systems

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 1st Auflage verfasst von Werner Damm; ‎ErnstRüdiger Olderog und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Techniques in Real-Time and Fault-Tolerant Systems lauten 9783540457398, 3540457399 und die Druck-ISBNs lauten 9783540441656, 3540441654. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.

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 1st Auflage verfasst von Werner Damm; ‎ErnstRüdiger Olderog und veröffentlicht von Springer. Die Digital- und eTextbook-ISBNs für Formal Techniques in Real-Time and Fault-Tolerant Systems lauten 9783540457398, 3540457399 und die Druck-ISBNs lauten 9783540441656, 3540441654. Spare durch digitales Arbeiten mit VitalSource bis zu 80% gegenüber Druck.