Critical Systems: Formal Methods and Automated Verification

- Joint 21st International Workshop on Formal Methods for Industrial Critical Systems and 16th International Workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2016, Pisa, Italy, September 26-28, 2016, 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 7% des UVP sparen 7%

Taschenbuch
Versandfertig in 1-2 Wochen
50,00 €

Sprache:
Englisch

ISBN:
9783319459424

Verlag:
Springer International Publishing AG

Einband:
Taschenbuch

Seitenzahl:
247

Veröffentlicht:
14. September 2016

Ausgabe:
12016

Abmessungen:
155x235x14 mm.

Gewicht:
4044 g.

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

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Keine Lieferung vor Weihnachten möglich.
Kaufen Sie jetzt und drucken Sie einen Gutschein aus

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