Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)

Ein Fachband aus der 19. FMICS‑Konferenz in Florenz, der theoretische Ansätze zur formalen Modellierung kritischer Systeme mit praktischen Fallstud ...
For Industrial Critical
Wo zu kaufen (4) Eigenschaften
Gesponsert
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
Medimops DE
51.14 EUR
Preis aktualisiert am: 28-10-2026 17:18:19
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang
Galaxus.de
51.36 EUR
Preis aktualisiert am: 29-10-2026 03:57:59
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems
Hugendubel
51.49 EUR
Preis aktualisiert am: 29-10-2026 08:25:00
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems
SpringerLink DE
57.00 EUR
Preis aktualisiert am: 28-10-2026 06:12:40
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 84 black & white illustrations, biograph
ISBN
Springer-Verlag GmbH 9783319107011

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science, Band 12863)
Formal Methods for Industrial Critical Systems: 26th International Conference, FMICS 2021, Paris, France, August 24–26, 2021, Proceedings (Lecture Notes in Computer Science, Band 12863)
Aus53.49 EUR 4
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Formal Methods for Industrial Critical Systems: 12th International Workshop, FMICS 2007, Berlin, Germany, July 1-2, 2007, Revised Selected Papers (Lecture Notes in Computer Science, 4916, Band 4916)
Aus53.49 EUR 4
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
Aus53.49 EUR 4
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Formal Methods for Industrial Critical Systems: 24th International Conference, FMICS 2019, Amsterdam, The Netherlands, August 30–31, 2019, Proceedings (Lecture Notes in Computer Science, Band 11687)
Aus52.94 EUR 4
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Aus53.49 EUR 4
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Aus51.36 EUR 3
Produkt anzeigen
Menü