Formal Techniques for Safety-Critical Systems

53.04 EUR 1% Off 53.49 EUR

Ein kompakter Sammelband aus dem FTSCS‑Workshop in Paris, der neueste Erkenntnisse zu formalen Techniken für sicherheitskritische Systeme zusammenfasst und deren praktische Umsetzung sowie theoretische Entwicklungen beleuchtet.

Marke: Cyrille Artho
ISBN: 3319295098
MPN: 86 black & white illustrations, biograph