Вы здесь

Главная

Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
архитектура
верификация
легализация
распределенная система
встроенная система
формальный язык
формальная логика
model checking
система параллельной обработки
архитектура по
дизайн по
качество по
Стр.: 
522 p.
Редактор: 
Calinescu R.
Pasareanu C. S.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
13085
Карточка: 

Software Engineering and Formal Methods: Proc./19th International Conference, SEFM 2021, Virtual Event, December 2021Ed. by Calinescu R., Pasareanu C. S..-Berlin.: Springer, 2021.-Vol. 13085.-522 p.-(Lecture Notes in Computer Science).