Вы здесь
Computer Aided Verification: Proc./8th International Conference, CAV 96. New Brunswick.NJ.USA,July/August 1996
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
1996
Ключевые слова:
Стр.:
472 p.
Редактор:
Место издания:
Издательство:
Том:
1102
Карточка:
Б2.23, Б3.54, В3.14, В3.3.
Computer Aided Verification: Proc./8th International Conference, CAV 96. New Brunswick.NJ.USA,July/August 1996Ed. by Alur R., Henzinger T. A..-Berlin, Heidelberg.: Springer, 1996.-Vol. 1102.-472 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO2 129