Geguang Pu - Böcker

Visar alla böcker från författaren Geguang Pu.

1 produkt

Kategorier

1 produkt

Automated Technology for Verification and Analysis

13th International Symposium, ATVA 2015, Shanghai, China, October 12-15, 2015, Proceedings

AvBernd Finkbeiner,Geguang Pu m. fl.

Häftad, Engelska, 2015

709 kr

Skickas inom 10-15 vardagar