Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000, Pune, India, September 20-22, 2000: Proceedings (книга)
| Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000, Pune, India, September 20-22, 2000: Proceedings | |
| Автор: | Ftrtft 200 Mathai Joseph M. Joseph |
|---|---|
| Оригинал издан: | ???? |
«Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, Ftrtft 2000, Pune, India, September 20-22, 2000: Proceedings» — книга ???? года.
Содержание |
Содержание 
От издателя
«This is a collection of papers from the Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems held at the University of Warwick on 22-23 September 1988. The papers cover a variety of subjects in these areas and illustrate different…»
Рецензии
См. также
Ссылки
| Это незавершённая статья о литературе или литературном произведении. Вы можете помочь проекту, исправив и дополнив её. |
