Name: Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings
Brand: Springer-Verlag GmbH
SKU: ID13378471
Availability: InStock

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

51.14 EUR 3% Off 52.80 EUR

Ein Fachband aus der 19. FMICS‑Konferenz in Florenz, der aktuelle theoretische Fortschritte in formalen Methoden für sicherheitskritische Systeme zusammenfasst und neue Analysewerkzeuge sowie Fallstudien präsentiert.

Marke: Springer-Verlag GmbH

MPN: 84 black & white illustrations, biograph

ISBN: 9783319107011

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-3%

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

Medimops DE

51.14 EUR 52.80 EUR

25-07-2026 01:52:10

Access to the deal

-3%

Gesponsert Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang

Galaxus.de

51.36 EUR 52.80 EUR

25-07-2026 21:09:07

Access to the deal

Gesponsert Formal Methods for Industrial Critical Systems

SpringerLink DE

52.80 EUR 52.80 EUR

25-07-2026 20:41:40

Access to the deal

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

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

Gesponsert Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang

Gesponsert Formal Methods for Industrial Critical Systems

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Formal Methods for Industrial Critical Systems: 19th International Conference, FMICS 2014, Florence, Italy, September 11-12, 2014, Proceedings

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

Gesponsert Formal Methods for Industrial Critical Systems, Fachbücher von Francesco Flammini, Frédéric Lang

Gesponsert Formal Methods for Industrial Critical Systems

Ähnliche Produkte

Formal Methods for Industrial Critical Systems

Formal Methods for Industrial Critical Systems

Critical Systems: Formal Methods and Automated Verification

Formal Methods for Industrial Critical Systems