Verification, Model Checking, and Abstract Interpretation Editat de Bernhard Steffen et al. 7 ian 2004 Paperback Preț: 324.41 lei 405.51 lei 6-8 săpt. -20%
