LEADER 03647nam  22007575  450 
001 996465880903316
005 20230406070528.0
010   $a3-642-19835-X
024 7 $a10.1007/978-3-642-19835-9
035   $a(CKB)2670000000076061
035   $a(SSID)ssj0000541991
035   $a(PQKBManifestationID)11351457
035   $a(PQKBTitleCode)TC0000541991
035   $a(PQKBWorkID)10509710
035   $a(PQKB)10773359
035   $a(DE-He213)978-3-642-19835-9
035   $a(MiAaPQ)EBC3066551
035   $a(PPN)151589615
035   $a(EXLCZ)992670000000076061
100   $a20110314d2011      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] $e17th International Conference, TACAS 2011, Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2011, Saarbrücken, Germany, March 26--April 3, 2011, Proceedings /$fedited by Parosh Aziz Abdulla, K. Rustan M. Leino
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XVI, 394 p. 134 illus., 30 illus. in color.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6605
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19834-1 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 17th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2011, held in Saarbrücken, Germany, March 26?April 3, 2011, as part of ETAPS 2011, the European Joint Conferences on Theory and Practice of Software. The 32 revised full papers presented were carefully reviewed and selected from 112 submissions. The papers are organized in topical sections on memory models and consistency, invariants and termination, timed and probabilistic systems, interpolations and SAT-solvers, learning, model checking, games and automata, verification, and probabilistic systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6605
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   $aAbdulla$b Parosh Aziz$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aLeino$b K. Rustan M$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465880903316
996   $aTools and Algorithms for the Construction and Analysis of Systems$9772021
997   $aUNISA