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.59 EUR
Preis aktualisiert am: 29-07-2026 01:48:25
Gesponsert
SpringerLink DE
94.50 EUR
Preis aktualisiert am: 03-08-2026 00:27:02

Allgemein

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

Eigenschaften

Menü