Вы здесь

Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017

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

Computer Aided Verification, Part I: Proc./29th International Conference, CAV 2017, Heidelberg, Germany, July 2017/Ed. by Majumdar R., Kuncak V..-Berlin.: Springer, 2017.-Vol. 10426.-601 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO12 502