Вы здесь

Computer Aided Verification: Proc./24th International Conference, CAV 2012, Berkeley,CA,USA, July 2012

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2012
Стр.: 
789 p.
Редактор: 
Место издания: 
Издательство: 
Том: 
7358
Карточка: 

Б2.2, Б3.54, Б2.1.

Computer Aided Verification: Proc./24th International Conference, CAV 2012, Berkeley,CA,USA, July 2012Ed. by Madhusudan P., Seshia S. A..-Berlin.: Springer, 2012.-Vol. 7358.-789 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO9 475