Del 8172 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
Häftad, Engelska, 2013
729 kr
Skickas inom 10-15 vardagar
11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013, Proceedings
729 kr
Skickas inom 10-15 vardagar