Integrated Formal Methods

Der Band der neunten IFM‑Konferenz in Pisa bietet einen tiefen Einblick in formale Verifikationsmethoden, verknüpft mit praxisnahen Fallstudien aus ...
Wo zu kaufen (2) Eigenschaften
Gesponsert
Integrated Formal Methods: 9th International Conference, I.F.M. 2012, Pisa, Italy, June 18-21, 2012. Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
Medimops DE
53.49 EUR
Preis aktualisiert am: 09-07-2026 15:45:22
Siehe Produktangebot
Gesponsert
Integrated Formal Methods
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 09-07-2026 17:20:10
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 105 black & white illustrations, biograp
ISBN
Springer-Verlag GmbH 9783642307287

Eigenschaften

Ähnliche Produkte

Integrated Formal Methods
Integrated Formal Methods
Produkt anzeigen
Integrated Formal Methods
Integrated Formal Methods
Produkt anzeigen
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Lecture Notes in Computer Science, Band 11023)
Integrated Formal Methods: 14th International Conference, IFM 2018, Maynooth, Ireland, September 5-7, 2018, Proceedings (Lecture Notes in Computer Science, Band 11023)
Produkt anzeigen
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Lecture Notes in Computer Science, Band 11918)
Integrated Formal Methods: 15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings (Lecture Notes in Computer Science, Band 11918)
Produkt anzeigen
Integrated Formal Methods
Integrated Formal Methods
Produkt anzeigen
Integrated Formal Methods
Integrated Formal Methods
Produkt anzeigen
Menü