LEADER 03439nam  22007575  450 
001 996465526003316
005 20230329185541.0
010   $a3-642-31424-4
024 7 $a10.1007/978-3-642-31424-7
035   $a(CKB)3400000000085364
035   $a(SSID)ssj0000697474
035   $a(PQKBManifestationID)11460664
035   $a(PQKBTitleCode)TC0000697474
035   $a(PQKBWorkID)10707660
035   $a(PQKB)11429226
035   $a(DE-He213)978-3-642-31424-7
035   $a(MiAaPQ)EBC3070292
035   $a(PPN)168319330
035   $a(EXLCZ)993400000000085364
100   $a20120621d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Aided Verification$b[electronic resource] $e24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings /$fedited by Madhusudan Parthasarathy, Sanjit A. Seshia
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XVI, 789 p. 192 illus.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7358
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-31423-6 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7358
606   $aComputer science
606   $aSoftware engineering
606   $aMachine theory
606   $aArtificial intelligence
606   $aComputers, Special purpose
606   $aComputers
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aFormal Languages and Automata Theory
606   $aArtificial Intelligence
606   $aSpecial Purpose and Application-Based Systems
606   $aComputer Hardware
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aMachine theory.
615  0$aArtificial intelligence.
615  0$aComputers, Special purpose.
615  0$aComputers.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aFormal Languages and Automata Theory.
615 24$aArtificial Intelligence.
615 24$aSpecial Purpose and Application-Based Systems.
615 24$aComputer Hardware.
676   $a005.1015113
702   $aParthasarathy$b Madhusudan$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aSeshia$b Sanjit A$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465526003316
996   $aComputer Aided Verification$9772228
997   $aUNISA