Вы здесь

Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004

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

А3.53, Б2.23.

Automated Technology for Verification and Analysis: Proc./Second International Conference, ATVA 2004. Taipei, Taiwan, ROC, October/November 2004/Ed. by Wang F..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3299.-506 p.-(Lecture Notes in Computer Science).

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