Static Analysis and Verification of Aerospace Software by Abstract Interpretation Foundations and Trends(r) in Programming Languages, nr. 5 Autor Julien Bertrane et al. 17 noi 2015 Paperback Preț: 457.58 lei 571.98 lei 6-8 săpt. -20%