LEADER 04322nam 22007695 450 001 996465985003316 005 20200701091934.0 010 $a3-642-39611-9 024 7 $a10.1007/978-3-642-39611-3 035 $a(CKB)3710000000002637 035 $a(DE-He213)978-3-642-39611-3 035 $a(SSID)ssj0000962789 035 $a(PQKBManifestationID)11526982 035 $a(PQKBTitleCode)TC0000962789 035 $a(PQKBWorkID)10979064 035 $a(PQKB)10986711 035 $a(MiAaPQ)EBC3101254 035 $a(PPN)172428386 035 $a(EXLCZ)993710000000002637 100 $a20130703d2013 u| 0 101 0 $aeng 135 $aurnn|008mamaa 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aHardware and Software: Verification and Testing$b[electronic resource] $e8th International Haifa Verification Conference, HVC 2012, Haifa, Israel, November 6-8, 2012. Revised Selected Papers /$fedited by Armin Biere, Amir Nahir, Tanja Vos 205 $a1st ed. 2013. 210 1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2013. 215 $a1 online resource (XII, 281 p. 75 illus.) 225 1 $aProgramming and Software Engineering ;$v7857 300 $aBibliographic Level Mode of Issuance: Monograph 311 $a3-642-39610-0 320 $aIncludes bibliographical references and index. 327 $aOn Behavioral Programming -- Verifying Real-Time Software Is Not Reasonable: Abstract of Invited Talk -- SMT in Verification, Modeling, and Testing at Microsoft -- Reducing Costs While Increasing Quality -- Special Session on Security Verification -- Circuit Primitives for Monitoring Information Flow and Enabling Redundancy -- Formal Analysis of Security Data Paths in RTL Design -- Precise Detection of Atomicity Violations -- Proving Mutual Termination of Programs -- Knowledge Based Transactional Behavior -- Repair with On-The-Fly Program Analysis -- Computing Interpolants without Proofs -- MaxSAT-Based MCS Enumeration -- Automated Reencoding of Boolean Formulas. 330 $aThis book constitutes the thoroughly refereed proceedings of the 8th International Haifa Verification Conference, HVC 2012, held in Haifa, Israel in November 2012. The 18 revised full papers presented together with 3 poster presentations were carefully reviewed and selected from 36 submissions. They focus on the future directions of testing and verification for hardware, software, and complex hybrid systems. 410 0$aProgramming and Software Engineering ;$v7857 606 $aSoftware engineering 606 $aProgramming languages (Electronic computers) 606 $aComputer logic 606 $aArtificial intelligence 606 $aMathematical logic 606 $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029 606 $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037 606 $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X 606 $aArtificial Intelligence$3https://scigraph.springernature.com/ontologies/product-market-codes/I21000 606 $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048 615 0$aSoftware engineering. 615 0$aProgramming languages (Electronic computers). 615 0$aComputer logic. 615 0$aArtificial intelligence. 615 0$aMathematical logic. 615 14$aSoftware Engineering. 615 24$aProgramming Languages, Compilers, Interpreters. 615 24$aLogics and Meanings of Programs. 615 24$aArtificial Intelligence. 615 24$aMathematical Logic and Formal Languages. 676 $a005.14 702 $aBiere$b Armin$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aNahir$b Amir$4edt$4http://id.loc.gov/vocabulary/relators/edt 702 $aVos$b Tanja$4edt$4http://id.loc.gov/vocabulary/relators/edt 801 0$bMiAaPQ 801 1$bMiAaPQ 801 2$bMiAaPQ 906 $aBOOK 912 $a996465985003316 996 $aHardware and Software, Verification and Testing$9772242 997 $aUNISA LEADER 01281cam0 2200277 450 001 E600200021066 005 20240508083138.0 010 $a8814131902 100 $a20061004d2006 |||||ita|0103 ba 101 $aita 102 $aIT 200 1 $aTutela demolitoria e risarcitoria dell'interesse legittimo innanzi al giudice ordinario e al giudice amministrativo$fVera Fanti 210 $aMilano$cGiuffrè$d2006 215 $aIX, 414 p.$d24 cm 225 2 $aUniversità degli Studi di Foggia - Facoltà di Giurisprudenza - Dipartimento di Scienze giuridiche privatistiche e pubblicistiche$v26 410 1$1001LAEC00022317$12001 $a*Università degli Studi di Foggia - Facoltà di Giurisprudenza - Dipartimento di Scienze giuridiche privatistiche e pubblicistiche$v26 700 1$aFanti$b, Vera$3A600200038076$4070$0616690 801 0$aIT$bUNISOB$c20240508$gRICA 850 $aUNISOB 852 $aUNISOB$j340$m131278 912 $aE600200021066 940 $aM 102 Monografia moderna SBN 941 $aM 957 $a340$b005468$gSi$d131278$racquisto$1pomicino$2UNISOB$3UNISOB$420061004084918.0$520240508083138.0$6rovito 996 $aTutela demolitoria e risarcitoria dell'interesse legittimo innanzi al giudice ordinario e al giudice amministrativo$91099325 997 $aUNISOB