Вы здесь

Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010

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

Б2.2, Б3.5.

Verification, Model Checking, and Abstract Interpretation: Proc./11th International Conference, VMCAI 2010, Madrid, Spain, January 2010Ed. by Barthe G., Hermenegildo M..-Berlin.: Springer, 2010.-Vol. 5944.-397 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO7 933