Remke, Anne / Bernhard Steffen (Hrsg.). Formal Methods for Industrial Critical Systems - 30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings. Springer, 2025.

eng

Formal Methods for Industrial Critical Systems

30th International Conference, FMICS 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Springer
2025

Taschenbuch
308 Seiten
ISBN 9783032009418

Herausgeber: Anne Remke / Bernhard Steffen

62,05 €

inkl. MwSt.
zzgl. Versand

Auf Lager