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ț: 338.96 lei 423.70 lei
43-57 zile
-20%