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ț: 328.16 lei 410.20 lei
6-8 săpt.
-20%
