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

Av Doron A. Peled, Yih-Kuen Tsay

Häftad, Engelska, 2005

729 kr

Skickas inom 10-15 vardagar