Verification, Model Checking, and Abstract Interpretation Editat de Barbara Jobstmann et al. 26 dec 2015 Paperback Preț: 349.51 lei 436.88 lei 6-8 săpt. -20%
