Verification, Model Checking, and Abstract Interpretation Editat de Byron Cook et al. 3 ian 2007 Paperback Preț: 327.92 lei 409.89 lei 6-8 săpt. -20%
