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