Tools and Algorithms for the Construction and Analysis of Systems: 20th International Conference, TACAS 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2014, Grenoble, France, April 5-13, 2014, Proceedings Lecture Notes in Computer Science, nr. 8413 Editat de Erika Abraham et al. 11 mar 2014 Paperback Preț: 343.79 lei 429.74 lei 6-8 săpt. -20%