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