Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings (Lecture Notes in Computer Science)

Ein Sammelband aus der IFM‑Konferenz 2016 in Reykjavík, der neueste Arbeiten zu formalen Modellen, Modellprüfung und automatisierter Analyse von S ...
Gesponsert
85.49 EUR
Preis aktualisiert am: 03-11-2026 23:45:38
Gesponsert
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 03-11-2026 17:51:08

Allgemein

Marke
Erika Ábrahám
ISBN
Erika Ábrahám 9783319336923

Eigenschaften

Menü