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ț: 467.00 lei 583.75 lei 6-8 săpt. -20%