Verification, Model Checking, and Abstract Interpretation Editat de Roberto Giacobazzi et al. 7 ian 2013 Paperback Preț: 335.91 lei 419.88 lei 6-8 săpt. -20%
