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