Hoppa till sidans huvudinnehåll

Geguang Pu – författare

Visar alla böcker från författaren .
1 produkt
Bernd Finkbeiner, Geguang Pu, Lijun Zhang - Automated Technology for Verification and Analysis, Häftad
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

AvBernd Finkbeiner,Geguang Pum. fl.

Häftad, Engelska, 2015

729 kr

Skickas inom 10-15 vardagar