Wei-Ngan Chin – författare
Visar alla böcker från författaren Wei-Ngan Chin. Handla med fri frakt och snabb leverans.
6 produkter
Theoretical Aspects of Software Engineering
18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings
Häftad, 2024
1243 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024.The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected …
Theoretical Aspects of Software Engineering
18th International Symposium, TASE 2024, Guiyang, China, July 29 – August 1, 2024, Proceedings
E-bok, 2024
1670 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 18th International Symposium on Theoretical Aspects of Software Engineering, TASE 2024, held in Guiyang, China, during July 29–August 1, 2024. The 24 full papers, 2 short papers, 1 invited abstract and 1 invited papers were carefully selected …
Programming Languages and Systems
Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
Häftad, 2004
569 kr
Lägg i varukorg
On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4–6, 2004. Since the year 2000, researchers in the area of programming languages and systems have been meeting annually in …
Programming Languages and Systems
Second Asian Symposium, APLAS 2004, Taipei, Taiwan, November 4-6, 2004. Proceedings
E-bok, 2004
739 kr
Lägg i varukorg
On behalf of the organizing committee I would like to welcome you all to the second Asian Symposium on Programming Languages and Systems (APLAS 2004) held in Taipei on November 4–6, 2004. Since the year 2000, researchers in the area of programming languages and systems have been meeting annually in …
Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Av Ahmed Bouajjani, Wei-Ngan Chin
Häftad, 2010
569 kr
Lägg i varukorg
These proceedings contain the papers presented at the 8th Internationl S- posium on Automated Technology for Veri?cation and Analysis held during September 21-24, 2010 in Singapore. The primary objective of the ATVA c- ferences remains the same: to exchange and promote the latest advances of …
Automated Technology for Verification and Analysis
8th International Symposium, ATVA 2010, Singapore, September 21-24, 2010, Proceedings
Av Wei-Ngan Chin, Ahmed Bouajjani
E-bok, 2010
755 kr
Lägg i varukorg
