Static Analysis: 18th International Symposium, SAS 2011. Venice, Italy, September 14-16, 2011. Proceedings Lecture Notes in Computer Science, nr. 6887 Editat de Eran Yahav 6 sep 2011 Paperback Preț: 324.99 lei 406.23 lei 6-8 săpt. -20%
Hardware and Software: Verification and Testing: 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014, Proceedings Lecture Notes in Computer Science, nr. 8855 Editat de Eran Yahav 6 noi 2014 Paperback Preț: 320.86 lei 401.08 lei 6-8 săpt. -20%
Programming with Big Code Foundations and Trends (R) in Programming Languages Autor Martin Vechev et al. 27 dec 2016 Paperback Preț: 275.61 lei 344.51 lei 6-8 săpt. -20%