Author books / Книги автора Jan Friso Groote (editor) Marieke Huisman (editor) » Online Library TheLib.net

Online Library TheLib.net » Author books / Книги автора Jan Friso Groote (editor) Marieke Huisman (editor)

book Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings (Lecture Notes in Computer Science, 13487)

pdf

Author: Jan Friso Groote (editor) Marieke Huisman (editor)
Language: English
Year: 2022

00

14.02.2024

0

0