Вы здесь
Computer Aided Verification: Proc./16th International Conference, CAV 2004. Boston, MA, USA, July 2004.
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2004
Ключевые слова:
Стр.:
536 p.
Редактор:
Место издания:
Издательство:
Источник:
Том:
3114
Карточка:
Б2.2, Б3.54.
Computer Aided Verification: Proc./16th International Conference, CAV 2004. Boston, MA, USA, July 2004.Ed. by Alur R., Peled D. A..-Berlin, Heidelberg.: Springer, 2004.-Vol. 3114.-536 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO4 915