Formal Methods for Industrial Critical Systems

Ein Fachband aus dem FMICS‑Workshop 2008 in L’Aquila, der innovative Ansätze zur formalen Verifikation von sicherheitskritischen Systemen zusamme ...
For Industrial Critical
Wo zu kaufen (4) Eigenschaften
Gesponsert
Formal Methods for Industrial Critical Systems
Hugendubel
53.49 EUR
Preis aktualisiert am: 29-10-2026 11:05:06
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems, Fachbücher von Alessandro Fantechi, Darren Cofer
Galaxus.de
53.49 EUR
Preis aktualisiert am: 29-10-2026 13:56:58
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers (Lecture Notes in Computer Science)
Medimops DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 23:56:24
Siehe Produktangebot
Gesponsert
Formal Methods for Industrial Critical Systems
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:52
Siehe Produktangebot

Allgemein

Marke
Darren Cofer
ISBN
Darren Cofer 3642032397
MPN
Darren Cofer biography

Eigenschaften

Ähnliche Produkte

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
Formal Methods for Industrial Critical Systems
Aus48.99 EUR 4
Produkt anzeigen
Critical Systems: Formal Methods and Automated Verification
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
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)
Aus48.99 EUR 3
Produkt anzeigen
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Formal Methods for Industrial Critical Systems: 15th International Workshop, FMICS 2010, Antwerp, Belgium, September 20-21, 2010. Proceedings
Aus53.49 EUR 1
Produkt anzeigen
Menü