Вы здесь

Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006

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

Б2.2, Б3.54, Б2.1.

Verification, Model Checking, and Abstract Interpretation: Proc./7th International Conference, VMCAI 2006. Charleston, SC, USA, January 2006/Ed. by Emerson E. A., Namjoshi K. S..-Berlin, Heidelberg.: Springer, 2006.-Vol. 3855.-443 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO5 816