Verification, Model Checking, and Abstract Interpretation Editat de Francesco Logozzo et al. 26 feb 2008 Paperback Preț: 324.22 lei 405.27 lei 6-8 săpt. -20%
Static Analysis Editat de Francesco Logozzo et al. 6 iun 2013 Paperback Preț: 333.02 lei 416.28 lei 6-8 săpt. -20%