Verification, Model Checking, and Abstract Interpretation Editat de Lenore D. Zuck et al. 13 dec 2002 Paperback Preț: 337.17 lei 421.47 lei 6-8 săpt. -20%
