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