Tools and Algorithms for the Construction and Analysis of Systems Lecture Notes in Computer Science, nr. 10805 Editat de Dirk Beyer et al. 12 apr 2018 Paperback Preț: 357.38 lei 446.72 lei 43-57 zile -20%