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)

Ein kompakter Sammelband aus dem FMICS‑Workshop 2007, der theoretische Ansätze zur formalen Verifikation kritischer Systeme mit praxisnahen Fallstu ...
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 12:44:09
Gesponsert
53.49 EUR
Preis aktualisiert am: 29-10-2026 14:13:13
Gesponsert
53.49 EUR
Preis aktualisiert am: 28-10-2026 06:11:50

Allgemein

Marke
Stefan Leue
ISBN
Stefan Leue 3540797068
MPN
Stefan Leue biography

Eigenschaften

Menü