Formal Modeling and Verification of Cyber-Physical Systems

1st International Summer School on Methods and Tools for the Design of Digital Systems, Bremen, Germany, September 2015

53,49 €
(inkl. MwSt.)
In den Warenkorb

Lieferbar innerhalb 1 - 2 Wochen

Bibliografische Daten
ISBN/EAN: 9783658099930
Sprache: Englisch
Umfang: x, 313 S., 101 s/w Illustr., 5 farbige Illustr., 3
Format (T/L/B): 1.9 x 24.1 x 16.9 cm
Auflage: 1. Auflage 2015
Einband: kartoniertes Buch

Informationen gemäß Produktsicherheitsverordnung

Hersteller:
Springer Vieweg in Springer Science + Business Media
juergen.hartmann@springer.com
Abraham-Lincoln-Straße 46
DE 65189 Wiesbaden