Поиск
На сайте: 567998 статей, 285524 фото.

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…»

Рецензии

См. также

Ссылки