| Record ID | ia:hardwaresoftware0000inte |
| Source | Internet Archive |
| Download MARC XML | https://archive.org/download/hardwaresoftware0000inte/hardwaresoftware0000inte_marc.xml |
| Download MARC binary | https://www.archive.org/download/hardwaresoftware0000inte/hardwaresoftware0000inte_meta.mrc |
LEADER: 01580cam 2200385Ia 4500
001 9920232530001661
005 20150423125024.0
008 060309s2006 gw a b 101 0 eng d
010 $a 2006921186
020 $a3540326049
024 3 $a9783540326045
029 1 $aOHX$bhar060024663
035 $a(CSdNU)u277843-01national_inst
035 $a(OCoLC)68439376
035 $a(OCoLC)68439376
040 $aYUS$cYUS$dOHX$dCUS$dC$Q$dVRC$dCNU
049 $aCNUM
090 $aQA76.76.V47$bI54 2005
111 2 $aInternational Haifa Verification Conference$n(1st :$d2005 :$cHaifa, Israel)
245 10 $aHardware and software, verification and testing :$bFirst International Haifa Verification Conference, Haifa, Israel, November 13-16, 2005 : revised selected papers /$cShmuel Ur, Eyal Bin, Yaron Wolfsthal (eds.).
246 30 $aFirst International Haifa Verification Conference
246 30 $aInternational Haifa Verification Conference
260 $aBerlin ;$aNew York :$bSpringer,$c2006.
300 $ax, 264 p. :$bill. ;$c24 cm.
440 0 $aLecture notes in computer science,$x0302-9743 ;$v3875
504 $aIncludes bibliographical references and index.
530 $aAlso issued online.
650 0 $aComputer programs$xVerification$vCongresses.
650 0 $aSoftware architecture$vCongresses.
650 0 $aComputer input-output equipment$vCongresses.
700 1 $aUr, Shmuel.
700 1 $aBin, Eyal.
700 1 $aWolfsthal, Yaron.
994 $aC0$bCNU
999 $aQA 76.76 .V47 I54 2005$wLC$c1$i31786102279046$lCIRCSTACKS$mNULS$rY$sY $tBOOK$u7/7/2006