LEADER 03765nam  22007575  450 
001 996465714203316
005 20230406011738.0
010   $a3-642-22110-6
024 7 $a10.1007/978-3-642-22110-1
035   $a(CKB)2550000000041028
035   $a(SSID)ssj0000535299
035   $a(PQKBManifestationID)11325155
035   $a(PQKBTitleCode)TC0000535299
035   $a(PQKBWorkID)10523314
035   $a(PQKB)10268876
035   $a(DE-He213)978-3-642-22110-1
035   $a(MiAaPQ)EBC3066953
035   $a(PPN)156321726
035   $a(EXLCZ)992550000000041028
100   $a20110707d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aComputer Aided Verification$b[electronic resource] $e23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings /$fedited by Ganesh Gopalakrishnan, Shaz Qadeer
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XV, 763 p. 180 illus., 46 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6806
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-22109-2 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011.The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th International Workshop on Parallel and Distributed Methods in Verifications (PDMC 2011), 4th International Workshop on Exploiting Concurrency Efficiently and Correctly (EC2 2011), Frontiers in Analog Circuit Synthesis and Verification (FAC 2011), International Workshop on Satisfiability Modulo Theories, including SMTCOMP (SMT 2011), 18th International SPIN Workshop on Model Checking of Software (SPIN 2011), Formal Methods for Robotics and Automation (FM-R 2011), and Practical Synthesis for Concurrent Systems (PSY 2011).
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6806
606   $aComputer science
606   $aSoftware engineering
606   $aCompilers (Computer programs)
606   $aMachine theory
606   $aComputer programming
606   $aArtificial intelligence
606   $aComputer Science Logic and Foundations of Programming
606   $aSoftware Engineering
606   $aCompilers and Interpreters
606   $aFormal Languages and Automata Theory
606   $aProgramming Techniques
606   $aArtificial Intelligence
615  0$aComputer science.
615  0$aSoftware engineering.
615  0$aCompilers (Computer programs).
615  0$aMachine theory.
615  0$aComputer programming.
615  0$aArtificial intelligence.
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aSoftware Engineering.
615 24$aCompilers and Interpreters.
615 24$aFormal Languages and Automata Theory.
615 24$aProgramming Techniques.
615 24$aArtificial Intelligence.
676   $a005.1015113
702   $aGopalakrishnan$b Ganesh$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aQadeer$b Shaz$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465714203316
996   $aComputer Aided Verification$9772228
997   $aUNISA