Вы здесь
Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops: Revised Selected Papers/ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 2020
Количество экземпляров:
1
Вид:
Сборник или журнал
Год:
2021
Ключевые слова:
Стр.:
335 p.
Редактор:
Место издания:
Издательство:
Том:
12524
Карточка:
Software Engineering and Formal Methods: SEFM 2020 Collocated Workshops: Revised Selected Papers/ASYDE, CIFMA, and CoSim-CPS, Amsterdam, The Netherlands, September 2020Ed. by Cleophas L., Massink M..-Berlin.: Springer, 2021.-Vol. 12524.-335 p.-(Lecture Notes in Computer Science).