Formal Methods for Industrial Critical Systems | Kaicus Deutschland

Formal Methods for Industrial Critical Systems

51.36 EUR 10% Off 57.00 EUR

Ein Sammelband aus dem FMICS‑Workshop 2015 in Oslo, der neue theoretische Ansätze zu formalen Methoden für sicherheitskritische Industrieanwendungen vorstellt und deren praktische Anwendung beleuchtet.

Marke: Springer-Verlag GmbH
MPN: 61 black & white illustrations, biograph
ISBN: 9783319194578