Вы здесь

Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007

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

А3.1, Б2.2, Б3.5.

Automated Technology for Verification and Analysis: Proc./5th Intrn. Symposium, ATVA 2007. Tokyu, Japan, October 2007/Ed. by Namjoshi K. S., Yoneda T., Higashino T., Okamura Yo..-Berlin, Heidelberg.: Springer, 2007.-Vol. 4762.-566 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO6 894