Verification, Model Checking, and Abstract Interpretation: 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings
Editat de Francesco Logozzo et al.
26 feb 2008
Paperback
Preț: 327.98 lei 409.97 lei
43-57 zile
-20%