Moonzoo Kim – författare
Visar alla böcker från författaren Moonzoo Kim. Handla med fri frakt och snabb leverans.
2 produkter
Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Av Sungdeok Cha, Jin-Young Choi m. fl.
Häftad, 2008
568 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were …
Automated Technology for Verification and Analysis
6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings
Av Mahesh Viswanathan, Moonzoo Kim m. fl.
E-bok, 2008
732 kr
Lägg i varukorg
This book constitutes the refereed proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis, ATVA 2008, held in Seoul, Korea, in October 2008. The 21 revised full papers 5 short papers and 7 tool papers presented together with 3 invited talks were …
