Yih-Kuen Tsay – författare

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

1 produkter

1. 

   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, 2005

   739 kr

   Lägg i varukorg