Critical Systems: Formal Methods and Automated Verification

- Joint 22nd International Workshop on Formal Methods for Industrial Critical Systems and 17th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017, Proceedings

enthalten in Programming and Software Engineering-Reihe

enthalten in Lecture Notes in Computer Science-Reihe

Critical Systems: Formal Methods and Automated Verification

Sie sparen 12% des UVP sparen 12%

Taschenbuch
Versandfertig in 1-2 Wochen
47,00 €

Sprache:
Englisch

ISBN:
9783319671123

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
235

Veröffentlicht:
25 August 2017

Ausgabe:
12017

Abmessungen:
155x235x0 mm.

Gewicht:
3869 g.

47,00 € inkl. MwSt.
~~53,49 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Kund*innenbewertungen von Critical Systems: Formal Methods and Automated Verification

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Critical Systems: Formal Methods and Automated Verification ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Critical Systems: Formal Methods and Automated Verification

Kund*innenbewertungen von Critical Systems: Formal Methods and Automated Verification

Willkommen bei den Tales Buchfreunden und -freundinnen