Tools and Algorithms for the Construction and Analysis of Systems Editat de Christel Baier et al. 8 apr 2015 Paperback Preț: 343.86 lei 429.81 lei 6-8 săpt. -20%