Вы здесь

Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009

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

Б2.2, Б3.5.

Automated Technology for Verification and Analysis: Proc./7th International Symposium, ATVA 2009, Macao, China, October 2009/Ed. by Liu Z., Ravn A. P..-Berlin.: Springer, 2009.-Vol. 5799.-414 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 952