Tools and Algorithms for the Construction and Analysis of Systems Editat de Christel Baier et al. 8 apr 2015 Paperback Preț: 358.70 lei 448.37 lei 43-57 zile -20%