Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)

Allgemein

Marke
Larsen, Kim Guldstrand
ISBN
Larsen, Kim Guldstrand 3030270076

Eigenschaften

Menü