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 LEADER 01582oem 2200421Ia 450 001 9910696353303321 005 20080117133205.0 035 $a(CKB)5470000002377298 035 $a(OCoLC)70912561 035 $a(EXLCZ)995470000002377298 100 $a20060816d2006 ca 101 0 $aeng 120 $ab|||||||||||| 121 $a||||||||| 124 $bd 135 $aurcnu--|m|||| 181 $ccrd$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 00$aDatabase for the geologic map of the Sauk River 30-minute by 60-minute quadrangle, Washington (I-2592)$b[electronic resource] /$fby R.W. Tabor ... [and others] ; U.S. Department of the Interior, U.S. Geological Survey 205 $aVersion 1.0. 210 1$aMenlo Park, Calif. :$cU.S. Geological Survey,$d2006. 215 $a1 electronic map $cHTML, digital, PDF file 225 1 $aU.S. Geological Survey data series ;$v188 300 $aTitle from HTML index page (viewed on Aug. 14, 2006). 320 $aIncludes bibliographical references. 517 $aDatabase for the geologic map of the Sauk River 30-minute by 60-minute quadrangle, Washington 606 $aGeology$zWashington (State)$vDatabases 615 0$aGeology 701 $aTabor$b R. W$g(Rowland W.)$01381580 712 02$aGeological Survey (U.S.) 801 0$bGIS 801 1$bGIS 801 2$bGPO 906 $aBOOK 912 $a9910696353303321 996 $aDatabase for the geologic map of the Sauk River 30-minute by 60-minute quadrangle, Washington (I-2592)$93478664 997 $aUNINA