本文に飛ぶ

年 〜
年

検索結果 4 件

Handbook of software engineering

Handbook of software engineering
紙図書
Sungdeok Cha, Richard N. Taylor, Kyochul Kang, editors.Springer[2019]<M154-B232>
国立国会図書館全国の図書館
  • 著者標目Cha, 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.
紙図書
IEEE[2014]<M17-16-2037>
国立国会図書館
  • 著者標目..., 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)
紙図書
Springerc2008.<M17-09-455>
国立国会図書館
  • 著者標目Cha, 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
紙図書
Sungdeok (Steve) Cha ... [et al.] (eds.)Springerc2008
全国の図書館

検索結果は以上です。

RSS