Вы здесь

Главная

Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
архитектура
верификация
легализация
встроенная система
формальная логика
дизайн по
качество по
model checking
Стр.: 
321 p.
Редактор: 
Qin Sh.
Woodcock J.
Zhang W.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
13071
Карточка: 

Dependable Software Engineering: Theories, Tools, and Applications: Proc./7th International Symposium, SETTA 2021, Beijing, China? November 2021Ed. by Qin Sh., Woodcock J., Zhang W..-Berlin.: Springer, 2021.-Vol. 13071.-321 p.-(Lecture Notes in Computer Science).