LEADER 03345nam  22006615  450 
001 996466046603316
005 20200701191917.0
010   $a3-642-19237-8
024 7 $a10.1007/978-3-642-19237-1
035   $a(CKB)2670000000071958
035   $a(SSID)ssj0000476251
035   $a(PQKBManifestationID)11327971
035   $a(PQKBTitleCode)TC0000476251
035   $a(PQKBWorkID)10479478
035   $a(PQKB)10005358
035   $a(DE-He213)978-3-642-19237-1
035   $a(MiAaPQ)EBC3066430
035   $a(PPN)151585059
035   $a(EXLCZ)992670000000071958
100   $a20110210d2011      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] $e5th International Haifa Verification Conference, HCV 2009, Haifa, Israel, October 19-22, 2009, Revised Selected Papers /$fedited by Kedar Namjoshi, Andreas Zeller, Avi Ziv
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 169 p.) 
225 1 $aProgramming and Software Engineering ;$v6405
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19236-X 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post proceedings of the 5th International Haifa Verification Conference, HVC 2009, held in Haifa, Israel in October 2009. The 11 revised full papers presented together with four abstracts of invited lectures were carefully reviewed and selected from 23 submissions. The papers address all current issues, challenges and future directions of verification for hardware, software, and hybrid systems and present academic research in the verification of systems, generally divided into two paradigms - formal verification and dynamic verification (testing).
410  0$aProgramming and Software Engineering ;$v6405
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
607   $aHaifa <2009>$2swd
608   $aKongress.$2swd
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   $a004.24
702   $aNamjoshi$b Kedar$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZeller$b Andreas$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aZiv$b Avi$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aInternational Haifa Verification Conference
906   $aBOOK
912   $a996466046603316
996   $aHardware and Software, Verification and Testing$9772242
997   $aUNISA