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 Rolf Drechsler (Editor), Ulrich Kühne (Editor)

New
Paperback
2015
$89.02

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.

Synopsis

This book presents the lecture notes of the 1st Summer School on Methods and Tools for the Design of Digital Systems, 2015, held in Bremen, Germany.

$89.02

Save:$6.96 (7%)

Quantity

10 in stock

More Information

Format: Paperback
Pages: 328
Edition: 2015
Publisher: Springer Vieweg
Published: 25 Jun 2015
ISBN 10: 3658099933
ISBN 13: 9783658099930

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

New

$89.02

Synopsis

$89.02

More Information