Verification, Model Checking, and Abstract Interpretation Editat de Lenore D. Zuck et al. 13 dec 2002 Paperback Preț: 324.22 lei 405.27 lei 43-57 zile -20%
