Вы здесь

Главная

Formal Methods and Software Engineering: Proc./22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 2021

Количество экземпляров: 
1
Вид: 
Сборник или журнал
Год: 
2020
Ключевые слова: 
разработка архитектуры
верификация архитектуры
встроенная система
формальный язык
формальная логика
качество по
Стр.: 
335 p.
Редактор: 
Lin Sh. -W.
Hou Z.
Mahoney B.
Место издания: 
Berlin
Издательство: 
Springer
Серия: 
Lecture Notes in Computer Science
Том: 
12531
Карточка: 

Formal Methods and Software Engineering: Proc./22nd International Conference on Formal Engineering Methods, ICFEM 2020, Singapore, Singapore, March 2021Ed. by Lin Sh. -W., Hou Z., Mahoney B..-Berlin.: Springer, 2020.-Vol. 12531.-335 p.-(Lecture Notes in Computer Science).