Jump to main content

yr 〜
yr

Search results 3

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)

Hardware and software: verification and testing : 5th international Haifa verification conference, HVC 2009 : Haifa, Israel, October 19-22, 2009 : revised selected papers. : Oct 2009, Haifa, Israel. (Lecture Notes in Computer Science ; 6405)
Paper図書
Springerc2011.<M17-11-2041>
National Diet Library
  • Author Heading...ller, Andreas. Ziv, Avi. International Haifa Verifica...

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 Ha...

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
  • Author HeadingHVC Bin, Eyal Ziv, Avi Ur, Shmuel

Reached to the end of result.

RSS