Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science, nr. 9268 Editat de Sriram Sankaranarayanan et al. 12 aug 2015 Paperback Preț: 323.81 lei 404.76 lei 6-8 săpt. -20%