Verification, Model Checking, and Abstract Interpretation Editat de E. Allen Emerson et al. 19 dec 2005 Paperback Preț: 329.35 lei 411.69 lei 6-8 săpt. -20%