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