Sungdeok Cha – författare
Visar alla böcker från författaren Sungdeok Cha. Handla med fri frakt och snabb leverans.
4 produkter
Handbook of Software Engineering
Av Sungdeok Cha, Richard N. Taylor m. fl.
Inbunden, 2019
2250 kr
Lägg i varukorg
This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software …
Handbook of Software Engineering
Av Kyochul Kang, Richard N. Taylor m. fl.
E-bok, 2019
3013 kr
Lägg i varukorg
This handbook provides a unique and in-depth survey of the current state-of-the-art in software engineering, covering its major topics, the conceptual genealogy of each subfield, and discussing future research directions. Subjects include foundational areas of software engineering (e.g. software …
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 …
