Formal Methods for Industrial Critical Systems

Ein Fachband aus dem FMICS‑Workshop 2013 in Madrid, der neue Ansätze zur formalen Analyse von sicherheitskritischen Systemen zusammenfasst und dabe ...
Wo zu kaufen (3) Eigenschaften
Gesponsert
Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings (Lecture ... / Programming and Software Engineering)
Medimops DE
49.22 EUR
Preis aktualisiert am: 11-06-2026 01:48:13
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems
SpringerLink DE
49.22 EUR
Preis aktualisiert am: 10-06-2026 10:57:07
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems, Fachbücher von Charles Pecheur, Michael Dierkes
Galaxus.de
49.22 EUR
Preis aktualisiert am: 11-06-2026 01:36:10
Siehe Produktangebot

Allgemein

Marke
Springer Berlin Heidelberg
ISBN
Springer Berlin Heidelberg 364241009X
MPN
Springer Berlin Heidelberg 46 black & white illustrations, biograph

Eigenschaften

Ähnliche Produkte

Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
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)
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
Critical Systems: Formal Methods and Automated Verification
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)
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, Band 7437)
Formal Methods for Industrial Critical Systems: 17th International Workshop, FMICS 2012, Paris, France, August 27-28, 2012, Proceedings (Lecture Notes in Computer Science, Band 7437)
Produkt anzeigen
Formal Methods for Industrial Critical Systems
Formal Methods for Industrial Critical Systems
Produkt anzeigen
Menü