Formal Techniques for Networked and Distributed Systems - FORTE 2002 : 22nd IFIP WG 6.1 International Conference Houston, Texas, USA, November 11-14, 2002, Proceedings /

Збережено в:
Бібліографічні деталі
Автор: Doron A. Peled, Moshe Y. Vardi (edición)
Формат: Книга
Мова:Англійська
Опубліковано: Berlín, Alemania : Springer, 2002, c2002
Серія:(Lecture Notes in Computer Science)
Онлайн доступ:Ver documento en línea
Теги: Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!