Вы здесь

Главная

Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2021
Ключевые слова: 
архитектура
верификация
легализация
база данных
встроенная система
сетевой протокол
язык программирования
обработка сигнала
архитектура по
дизайн по
model checking
Стр.: 
175 p.
Редактор: 
Salaun G.
Wijs A.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
13077
Карточка: 

Formal Aspects of Component Software: Proc./17th International Conference, FACS 2021, Virtual Event, October 2021Ed. by Salaun G., Wijs A..-Berlin.: Springer, 2021.-Vol. 13077.-175 p.-(Lecture Notes in Computer Science).