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

Laure Petrucci

ISBN 10: 331967112X ISBN 13: 9783319671123
Verlag: Springer International Publishing, Springer International Publishing, 2017
Sprache: Englisch
Zustand: Neu Softcover

Verkauft von AHA-BUCH GmbH, Einbeck, Deutschland

AbeBooks-Verkäufer seit 14. August 2006

Verkäuferbewertung 5 von 5 Sternen 5 Sterne, Erfahren Sie mehr über Verkäufer-Bewertungen

Alle Artikel dieses Verkäufers anzeigen


Neu - Softcover

Zustand: Neu

Preis:
EUR 53,49
EUR 61,94 shipping
Versand von Deutschland nach USA

Anzahl: 1 verfügbar

In den Warenkorb legen