Вы здесь

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2004
Стр.: 
397 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
3253
Карточка: 

А5.15, Б2.23, Б2.22.

Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems: Proc./Joint International Conferences FORMATS 2004, and FTRTFT 2004. Grenoble,France,September 2004Ed. by Lakhnech Y., Yovine S..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3253.-397 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO5 118