Vissa av webbplatsens funktioner begränsas av dina webbläsarinställningar (t.ex. privat läge). Byt surfläge för att kunna lägga artiklar i varukorgen.

Jag förstår

Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings 1

Kommande

bokomslag Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Data & IT

Formal Methods for Industrial Critical Systems: 30th International Conference, Fmics 2025, Aarhus, Denmark, August 27-28, 2025, Proceedings

Anne Remke • Bernhard Steffen

Häftad

1249:-

Funktionen begränsas av dina webbläsarinställningar (t.ex. privat läge).

291 sidor
2025

Författare: Anne Remke, Bernhard Steffen
Format: Häftad
ISBN: 9783032009418
Språk: Engelska
Antal sidor: 291
Utgivningsdatum: 2025-09-24
Förlag: Springer