Formal Modeling and Verification of Cyber-Physical Systems Editat de Rolf Drechsler et al. 25 iun 2015 Paperback Preț: 338.45 lei 423.07 lei 6-8 săpt. -20%