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

Name: 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
ISBN: 9783658099930

by Drechsler, Rolf, K�hne, Ulrich

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

by Drechsler, Rolf, K�hne, Ulrich

Marketplace Prices
New from $51.31

New
$51.31

Recommended

Item Details
Condition: New
Provider: LightningBooks Contact
Provider Rating:

85%
Ships From: Multiple Locations
Shipping: Standard, Expedited (tracking available)
Comments: Fast shipping! All orders include delivery confirmation.

ISBN-13: 9783658099930
ISBN: 3658099933
Publication Date: 2015
Publisher: Springer Vieweg. in Springer Fachmedien Wiesbaden GmbH

AUTHOR

Drechsler, Rolf, K�hne, Ulrich

SUMMARY

Drechsler, Rolf is the author of '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', published 2015 under ISBN 9783658099930 and ISBN 3658099933.

[read more]