Вы здесь
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 2005Ed. by Peled D. A., Tsay Y. -K..-Berlin, Heidelberg.: Springer, 2005.-Vol. 3707.-506 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO5 710