Yih-Kuen Tsay – författare

Visar alla böcker från författaren Yih-Kuen Tsay. Handla med fri frakt och snabb leverans.

2 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

   566 kr

   Lägg i varukorg

   The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …

2. 

   Automated Technology for Verification and Analysis

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

   Av Yih-Kuen Tsay, Doron A. Peled

   E-bok, 2005

   734 kr

   Lägg i varukorg

   The Automated Technology for Veri?cation and Analysis (ATVA) international symposium series was initiated in 2003, responding to a growing interest in formal veri?cation spurred by the booming IT industry, particularly hardware design and manufacturing in East Asia. Its purpose is to promote …