Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings (Lecture Notes in Computer Science)

Ein Fachband aus der 19. FMICS‑Konferenz in Florenz, der theoretische Ansätze zur formalen Modellierung kritischer Systeme mit praktischen Fallstud ...

Allgemein

Marke
Springer-Verlag GmbH
MPN
Springer-Verlag GmbH 84 black & white illustrations, biograph
ISBN
Springer-Verlag GmbH 9783319107011

Eigenschaften

Menü