yr 〜
yr

Search results 4

Handbook of software engineering

Handbook of software engineering
Paper図書
Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.Springer[2019]<M154-B232>
National Diet LibraryOther Libraries in Japan
  • Author HeadingCha, Sungdeok. Taylor, Richard N., 1952- Kan...

2014 21st Asia-Pacific software engineering conference : (APSEC 2014) : Jeju, South Korea : 1-4 December 2014 : APSEC2014 : 2nd international workshop on quantitative approaches to software quality (QuASoQ) : Dec 2014, Jeju-si, Korea.

2014 21st Asia-Pacific software engineering conference : (APSEC 2014) : Jeju, South Korea : 1-4 December 2014 : APSEC2014 : 2nd international workshop on quantitative approaches to software quality (QuASoQ) : Dec 2014, Jeju-si, Korea.
Paper図書
IEEE[2014]<M17-16-2037>
National Diet Library
  • Author Heading..., South Korea) Cha, Sungdeok. Korea (South)

Automated technology for verification and analysis : 6th international symposium, ATVA 2008 : Seoul, Korea, October 20-23, 2008 : proceedings. : Oct 2008, Seoul, Korea. (Lecture Notes in Computer Science ; 5311)

Automated technology for verification and analysis : 6th international symposium, ATVA 2008 : Seoul, Korea, October 20-23, 2008 : proceedings. : Oct 2008, Seoul, Korea. (Lecture Notes in Computer Science ; 5311)
Paper図書
Springerc2008.<M17-09-455>
National Diet Library
  • Author HeadingCha, Sungdeok. ATVA 2008 (2008 : Seoul, Kore...

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings

Automated technology for verification and analysis : 6th international symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008 : proceedings
Paper図書
Sungdeok (Steve) Cha ... [et al.] (eds.)Springerc2008
Other Libraries in Japan

Reached to the end of result.