Вы здесь

Главная

Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
теория автоматов
распределенная система
встроенная система
формальный язык
формальная логика
формальный метод
архитектура по
анализ дефектов по
дизайн по
качество по
верификация по
model checking
Стр.: 
604 p.
Редактор: 
Henglein F.
Shoham Sh.
Vizel Ya.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12597
Карточка: 

Verification, Model Checking, and Abstract Interpretation: Proc./22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 2021Ed. by Henglein F., Shoham Sh., Vizel Ya..-Berlin.: Springer, 2021.-Vol. 12597.-604 p.-(Lecture Notes in Computer Science).