LEADER 03401nam  22006495  450 
001 996465908203316
005 20200701235515.0
010   $a3-642-19583-0
024 7 $a10.1007/978-3-642-19583-9
035   $a(CKB)2670000000076047
035   $a(SSID)ssj0000537430
035   $a(PQKBManifestationID)11352577
035   $a(PQKBTitleCode)TC0000537430
035   $a(PQKBWorkID)10552732
035   $a(PQKB)10053901
035   $a(DE-He213)978-3-642-19583-9
035   $a(MiAaPQ)EBC3066523
035   $a(PPN)151589526
035   $a(EXLCZ)992670000000076047
100   $a20110309d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aHardware and Software: Verification and Testing$b[electronic resource] $e6th International Haifa Verification Conference, HVC 2010, Haifa, Israel, October 4-7, 2010. Revised Selected Papers /$fedited by Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 197 p. 51 illus., 13 illus. in color.) 
225 1 $aProgramming and Software Engineering ;$v6504
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19582-2 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-conference proceedings of the 6th International Haifa Verification Conference, HVC 2010, held in Haifa, Israel in October 2010. The 10 revised full papers presented together with 7 invited papers were carefully reviewed and selected from 30 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and have a research focus on hybrid methods and the migration of methods and ideas between hardware and software, static and dynamic analysis, pre- and post-silicon.
410  0$aProgramming and Software Engineering ;$v6504
606   $aSoftware engineering
606   $aComputer logic
606   $aProgramming languages (Electronic computers)
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
615  0$aSoftware engineering.
615  0$aComputer logic.
615  0$aProgramming languages (Electronic computers).
615 14$aSoftware Engineering.
615 24$aLogics and Meanings of Programs.
615 24$aProgramming Languages, Compilers, Interpreters.
676   $a005.1
702   $aBarner$b Sharon$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aHarris$b Ian$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKroening$b Daniel$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aRaz$b Orna$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Haifa Verification Conference
906   $aBOOK
912   $a996465908203316
996   $aHardware and Software, Verification and Testing$9772242
997   $aUNISA