Verification, Model Checking, and Abstract Interpretation: 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2003, Proceedings
Editat de Lenore D. Zuck et al.
13 dec 2002
Paperback
Preț: 346.24 lei 432.80 lei
43-57 zile
-20%