Noch Fragen? 0800 / 33 82 637

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

Produktform: Buch / Einband - flex.(Paperback)

Sprache(n): Englisch

ISBN: 978-3-658-09993-0 / 978-3658099930 / 9783658099930

Verlag: Springer Fachmedien Wiesbaden GmbH

Erscheinungsdatum: 25.06.2015

Seiten: 313

Auflage: 1

Zielgruppe: Research

Herausgegeben von Rolf Drechsler, Ulrich Kühne

53,49 € inkl. MwSt.
kostenloser Versand

lieferbar - Lieferzeit 10-15 Werktage

zurück