Вы здесь
Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2008
Ключевые слова:
Стр.:
558 p.
Место издания:
Издательство:
Том:
5123
Карточка:
Б2.2, Б3.54, В2.11.
Computer Aided Verification: Proc./20th International Conference, CAV 2008. Princeton, NJ, USA, July 2008Ed. by Gupta A., Malik Sh..-Berlin, Heidelberg.: Springer, 2008.-Vol. 5123.-558 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO7 156