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
Medimops DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 03:55:06
Gesponsert
SpringerLink DE
53.49 EUR
Preis aktualisiert am: 27-04-2026 06:50:04
Gesponsert
Galaxus.de
53.49 EUR
Preis aktualisiert am: 26-04-2026 21:25:44
Allgemein
Marke
Stefan Leue
ISBN
Stefan Leue 3540797068
MPN
Stefan Leue biography
