The No1 Ethical retailer for Books, CD’s, DVD’s & Games
30 Day Refund Guarantee

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

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

    $88.04
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.

$88.04

Save:$6.89 (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