Вы здесь
Computer Aided Verifications: Proc./ 23rd International Conference, CAV 2011, Snowbird,UT,USA, July 2011
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2011
Стр.:
763 p.
Редактор:
Место издания:
Издательство:
Том:
6806
Карточка:
Б2.2, Б3.1, Б3.5.
Computer Aided Verifications: Proc./ 23rd International Conference, CAV 2011, Snowbird,UT,USA, July 2011Ed. by Gopalakrishnan G., Qadeer S..-Berlin.: Springer, 2011.-Vol. 6806.-763 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO8 928