Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings

49.22 EUR

Ein Fachband aus dem FMICS‑Workshop 2013 in Madrid, der neueste Theorien zur formalen Analyse kritischer Systeme zusammenführt und zugleich praxisnahe Fallstudien zu deren Einsatz in sicherheitsrelevanten Bereichen präsentiert.

Marke: Springer Berlin Heidelberg
ISBN: 364241009X
MPN: 46 black & white illustrations, biograph