Automated Technology for Verification and Analysis: 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Editat de Dang Van Hung et al.
11 sep 2013
Paperback
Preț: 344.60 lei 430.75 lei
6-8 săpt.
-20%