Вы здесь
Verification, Model Checking, and Abstract Interpretation: Proc./15th International Conference, VMCAI 2014, San Diego,CA,USA, January 2014
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2014
Ключевые слова:
Стр.:
493 p.
Редактор:
Место издания:
Издательство:
Том:
8318
Карточка:
Б2.23, Б3.54.
Verification, Model Checking, and Abstract Interpretation: Proc./15th International Conference, VMCAI 2014, San Diego,CA,USA, January 2014Ed. by Mcmillan K. L., Rival X..-Berlin.: Springer, 2014.-Vol. 8318.-493 p.-(Lecture Notes in Computer Science).
Таблица в старой библиотеке:
MONO10 473