![Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings](https://i1.books-express.ro/bt/9783540883869/automated-technology-for-verification-and-analysis.jpg)
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
6-8 săpt.
-20%