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
(inklusive MwSt.)
Verfügbarkeit: Besorgungstitel, Festbezug
Weitere Details
Erschienen: 25.06.2015
Umfang: x, 313 S., 101 s/w Illustr., 5 farbige Illustr., 3
Sprache: ENG
Einband: KT
Format: 1.9 x 24.1 x 16.9 cm
ISBN/EAN: 9783658099930
Umbreit-Nr.: 8087411
