Geguang Pu - Böcker
Visar alla böcker från författaren Geguang Pu.
1 produkt
1 produkt
Del 9364 - Lecture Notes in Computer Science
Automated Technology for Verification and Analysis
13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings
Häftad, Engelska, 2015
729 kr
Skickas inom 10-15 vardagar