Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Editat de Sungdeok Cha et al.
6 oct 2008
Paperback
Preț: 341.15 lei 426.44 lei
43-57 zile
-20%