Automated Technology for Verification and Analysis: 7th International Symposium, ATVA 2009, Macao, China, October 14-16, 2009, Proceedings
Editat de Zhiming Liu et al.
29 sep 2009
Paperback
Preț: 328.16 lei 410.20 lei
6-8 săpt.
-20%




