LEADER 03810nam  22007695  450 
001 996466264203316
005 20230220161615.0
010   $a3-642-28756-5
024 7 $a10.1007/978-3-642-28756-5
035   $a(CKB)3360000000365937
035   $a(SSID)ssj0000666395
035   $a(PQKBManifestationID)11434782
035   $a(PQKBTitleCode)TC0000666395
035   $a(PQKBWorkID)10664635
035   $a(PQKB)10932216
035   $a(DE-He213)978-3-642-28756-5
035   $a(MiAaPQ)EBC3070104
035   $a(PPN)16831276X
035   $a(EXLCZ)993360000000365937
100   $a20120321d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aTools and Algorithms for the Construction and Analysis of Systems$b[electronic resource] $e18th International Conference, TACAS 2012, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 -- April 1, 2012, Proceedings /$fedited by Cormac Flanagan, Barbara König
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XIX, 560 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7214
300   $aInternational conference proceedings.
311   $a3-642-28755-7 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2012, held as part of the joint European Conference on Theory and Practice of Software, ETAPS 2012, which took place in Tallinn, Estonia, in March/April 2012. The 25 research papers, 2 case study papers, 3 regular tool papers, and 6 tool demonstrations papers presented in this book were carefully reviewed and selected from a total of 147 submissions. The papers are organized in topical sections named: SAT and SMT based methods; automata; model checking; case studies; memory models and termination; internet protocol verification; stochastic model checking; synthesis; provers and analysis techniques; tool demonstrations; and competition on software verification.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7214
606   $aSoftware engineering
606   $aComputer science
606   $aComputer networks
606   $aCompilers (Computer programs)
606   $aArtificial intelligence
606   $aComputer programming
606   $aSoftware Engineering
606   $aComputer Science Logic and Foundations of Programming
606   $aComputer Communication Networks
606   $aCompilers and Interpreters
606   $aArtificial Intelligence
606   $aProgramming Techniques
615  0$aSoftware engineering.
615  0$aComputer science.
615  0$aComputer networks.
615  0$aCompilers (Computer programs).
615  0$aArtificial intelligence.
615  0$aComputer programming.
615 14$aSoftware Engineering.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aComputer Communication Networks.
615 24$aCompilers and Interpreters.
615 24$aArtificial Intelligence.
615 24$aProgramming Techniques.
676   $a005.1
702   $aFlanagan$b Cormac$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aKönig$b Barbara$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aETAPS (Conference)$f(2012 :$eTallinn, Estonia)
906   $aBOOK
912   $a996466264203316
996   $aTools and Algorithms for the Construction and Analysis of Systems$9772021
997   $aUNISA