Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)

Der Band aus dem FMICS‑Workshop 2015 in Oslo fasst neueste Forschung zu formalen Methoden für sicherheitskritische Industrieanwendungen zusammen, b ...
Wo zu kaufen (4) Eigenschaften
Gesponsert
Formal Methods for Industrial Critical Systems, Fachbücher von Manuel Nunez, Matthias Güdemann
Galaxus.de
51.36 EUR
Preis aktualisiert am: 29-10-2026 03:58:00
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems: 20th International Workshop, FMICS 2015 Oslo, Norway, June 22-23, 2015 Proceedings (Lecture Notes in Computer Science)
Medimops DE
51.36 EUR
Preis aktualisiert am: 28-10-2026 17:18:25
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems
Hugendubel
51.49 EUR
Preis aktualisiert am: 29-10-2026 09:54:17
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems
SpringerLink DE
57.00 EUR
Preis aktualisiert am: 28-10-2026 06:12:42
Siehe Produktangebot

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 61 black & white illustrations, biograph
ISBN
Springer-Verlag GmbH 9783319194578

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
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)
Aus51.14 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
Menü