Del 10482 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
15th International Symposium, ATVA 2017, Pune, India, October 3–6, 2017, Proceedings
Häftad, Engelska, 2017
739 kr
Skickas inom 10-15 vardagar
K. Narayan Kumar – författare
Visar alla böcker från författaren K. Narayan Kumar.
1 produkt
1 produkt