
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ț: 336.21 lei 420.26 lei
6-8 săpt.
-20%