Yih-Kuen Tsay - Böcker

Visar alla böcker från författaren Yih-Kuen Tsay.

1 produkt

Kategorier

1 produkt

Automated Technology for Verification and Analysis

Third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005, Proceedings

AvDoron A. Peled,Yih-Kuen Tsay m. fl.

Häftad, Engelska, 2005

719 kr

Skickas inom 10-15 vardagar