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 (3) Eigenschaften
Gesponsert
Integrated Formal Methods
Hugendubel
53.49 EUR
Preis aktualisiert am: 07-11-2026 11:23:27
Siehe Produktangebot
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: 06-11-2026 14:58:23
Siehe Produktangebot
Gesponsert
Integrated Formal Methods
SpringerLink DE
59.00 EUR
Preis aktualisiert am: 06-11-2026 06:23:25
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: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science, Band 15234)
Integrated Formal Methods: 19th International Conference, IFM 2024, Manchester, UK, November 13–15, 2024, Proceedings (Lecture Notes in Computer Science, Band 15234)
Aus130.31 EUR 4
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)
Aus52.94 EUR 4
Produkt anzeigen
IFM '99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
IFM '99: Proceedings of the 1st International Conference on Integrated Formal Methods, York, 28-29 June 1999
Aus103.94 EUR 3
Produkt anzeigen
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29
Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings (Lecture Notes in Computer Science, 3771, Band 3771)
Aus53.49 EUR 3
Produkt anzeigen
Integrated Formal Methods
Integrated Formal Methods
Aus53.49 EUR 3
Produkt anzeigen
Integrated Formal Methods
Integrated Formal Methods
Aus53.49 EUR 1
Produkt anzeigen
Menü