Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008 | Kaicus Deutschland

Formal Methods for Industrial Critical Systems: 13th International Workshop, FMICS 2008, L'Aquila, Italy, September 15-16, 2008, Revised Selected Papers

53.49 EUR 9% Off 59.00 EUR

Ein Fachband aus dem FMICS‑Workshop 2008 in L’Aquila, der aktuelle Forschungsansätze zur formalen Analyse sicherheitskritischer Systeme zusammenführt und neue theoretische Modelle sowie praxisnahe Fallstudien vorstellt.

Marke: Darren Cofer
ISBN: 3642032397
SKU: 9783642032394
MPN: biography