Вы здесь

Главная

Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2016
Ключевые слова: 
model checking
верификация
абстрактная интерпретация
абстракция
гибридная система
временная система
динамический
статический
вероятностный
параллельные программы
параметрический
компонентно-ориентированный
система
решающее устройство
развитие
Стр.: 
558 p.
Редактор: 
Jobstmann B.
Leino K.R. M.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
9583
Карточка: 

Verification, Model Checking, and Abstract Interpretation: Proc./17th International Conference, VMCAI 2016, St.Petersburg,FL,USA, January 2016Ed. by Jobstmann B., Leino K.R. M..-Berlin.: Springer, 2016.-Vol. 9583.-558 p.-(Lecture Notes in Computer Science).

Таблица в старой библиотеке: 
MONO11 684