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
Editat de Rolf Drechsler et al.
25 iun 2015
Paperback
Preț: 323.56 lei 404.45 lei
43-57 zile
-20%