Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002: Proceedings (книга)
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002: Proceedings | |
Автор: | Werner Damm E.-R Olderog |
---|---|
Оригинал издан: | ???? |
«Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International Symposium, Ftrtft 2002, Co-Sponsored by Ifip Wg 2.2, Oldenburg, Germany, September 2002: Proceedings» — книга ???? года.
Содержание |
Содержание
От издателя
«…»