![Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings](https://i2.books-express.ro/bt/9783642358722/verification-model-checking-and-abstract-interpretation.jpg)
Verification, Model Checking, and Abstract Interpretation: 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, Proceedings
Editat de Roberto Giacobazzi et al.
7 ian 2013
Paperback
Preț: 345.91 lei 432.39 lei
6-8 săpt.
-20%