Name: Formal Methods for Industrial Critical Systems: 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013, Proceedings
Brand: Springer Berlin Heidelberg
SKU: ID12363748
Availability: InStock

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