Вы здесь

Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005

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

А3, Б2.23.

Automated Technology for Verification and Analysis: Proc./Third International Symposium, ATVA 2005. Taipei, Taiwan, October 2005/Ed. by Peled D. A., Tsay Y. -K..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3707.-506 p.-(Lecture Notes in Computer Science).

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