Вы здесь

Главная

Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2022
Ключевые слова: 
архитектура
верификация
легализация
искусственный интеллект
распределенная система
встроенная система
формальная логика
матричная алгебра
система параллельной обработки
архитектура по
model checking
Стр.: 
197 p.
Редактор: 
Bloem R.
Dimitrova R.
Fan Ch.
Sharygina N.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
13124
Карточка: 

Software Verification: Revised Selected Papers/13th International Conference, VSTTE 2021, New Haven,CN,USA, October 2021 and 14th International Workshop, NSV 2021, Los Angeles,CA,USA, July 2021Ed. by Bloem R., Dimitrova R., Fan Ch., Sharygina N..-Berlin.: Springer, 2022.-Vol. 13124.-197 p.-(Lecture Notes in Computer Science).