Вы здесь

Главная

Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2022
Ключевые слова: 
архитектура
верификация
легализация
встроенная система
формальная логика
model checking
архитектура по
дизайн по
качество по
Стр.: 
520 p.
Редактор: 
Finkbeiner B.
Wies T.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
13182
Карточка: 

Verification, Model Checking, and Abstract Interpretation: Proc./23rd International Conference, VMCAI 2022, Philadelphia,PA,USA, January 2022/Ed. by Finkbeiner B., Wies T..-Berlin.: Springer, 2022.-Vol. 13182.-520 p.-(Lecture Notes in Computer Science).