libcats.org
Главная

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

Formal Techniques in Real-Time and Fault-Tolerant Systems: 6th International Symposium, FTRTFT 2000, Pune, India, September 20-22, 2000. Proceedings

Proceedings of the 6th International Symposium, FTRTFT 2000, Formal Techniques in Real-Time and Fault Tolerant Systems, held in Pune, India, September 20-22, 2000. A variety of topics were discussed, including model checking, fault tolerance, scheduling, and verification. Softcover.
Ссылка удалена правообладателем
----
The book removed at the request of the copyright holder.
Популярные книги за неделю:
Только что пользователи скачали эти книги: