yr 〜
yr

Search results 6

8th workshop on parallel and distributed systems: testing, analysis, and debugging 2010 : (PADTAD 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : international symposium on software testing and analysis : Jul 2010, Trento, Italy.

8th workshop on parallel and distributed systems: testing, analysis, and debugging 2010 : (PADTAD 2010) : held in conjunction with ISSTA 2010 : Trento, Italy : 13 July 2010. : international symposium on software testing and analysis : Jul 2010, Trento, Italy.
Paper図書
ACMc2010.<M17-11-2639>
National Diet Library
  • Author Heading...Farchi, Eitan. Ur, Shmuel. International Workshop on Par...

6th workshop on parallel and distributed systems: testing, analysis, and debugging : PADTAD '08 : at ISSTA 2008 : July 20-21, 2008 : Seattle, Washington, USA. : Jul 2008, Seattle, WA.

6th workshop on parallel and distributed systems: testing, analysis, and debugging : PADTAD '08 : at ISSTA 2008 : July 20-21, 2008 : Seattle, Washington, USA. : Jul 2008, Seattle, WA.
Paper図書
ACMc2008.<M17-09-1441>
National Diet Library
  • Author HeadingUr, Shmuel. Workshop on Parallel and Dist...

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)

Hardware and software, verification and testing : second international Haifa verification conference, HVC 2006 : Haifa, Israel, October 23-26, 2006 : revised selected papers. : Oct 2006, Haifa, Israel. (Lecture Notes in Computer Science ; 4383)
Paper図書
Springerc2007.<M17-07-1191>
National Diet Library
  • Author HeadingBin, Eyal. Ziv, Avi. Ur, Shmuel. International Haifa Verificat...

Hardware and software : verification and testing : first international Haifa verification conference : Haifa, Israel, November 13-16, 2005 : revised selected papers. : Haifa verification conf. 2005 : Nov 2005, Haifa, Israel. (Lecture Notes in Computer Science ; 3875)

Hardware and software : verification and testing : first international Haifa verification conference : Haifa, Israel, November 13-16, 2005 : revised selected papers. : Haifa verification conf. 2005 : Nov 2005, Haifa, Israel. (Lecture Notes in Computer Science ; 3875)
Paper図書
Springerc2006.<M17-06-2254>
National Diet Library
  • Author HeadingUr, Shmuel. Bin, Eyal. Wolfsthal, Yaron. ...

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers

Hardware and software, verification and testing : Second International Haifa Verification Conference, HVC 2006, Haifa, Israel, October 23-26, 2006 : revised selected papers
Paper図書
Eyal Bin, Avi Ziv, Shmuel Ur (eds.)Springerc2007
Other Libraries in Japan

Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005. revised selected papers

Hardware and software verification and testing : First International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005. revised selected papers
Paper図書
Shmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.)Springer Berlinc2006
Other Libraries in Japan

Reached to the end of result.