LEADER 03060nam  22006975  450 
001 996465565603316
005 20230406034905.0
010   $a3-642-20551-8
024 7 $a10.1007/978-3-642-20551-4
035   $a(CKB)2670000000082469
035   $a(SSID)ssj0000538670
035   $a(PQKBManifestationID)11324529
035   $a(PQKBTitleCode)TC0000538670
035   $a(PQKBWorkID)10560324
035   $a(PQKB)11512706
035   $a(DE-He213)978-3-642-20551-4
035   $a(MiAaPQ)EBC3066672
035   $a(PPN)153864982
035   $a(EXLCZ)992670000000082469
100   $a20110420d2011      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aLogic-Based Program Synthesis and Transformation$b[electronic resource] $e20th International Symposium, LOPSTR 2010, Hagenberg, Austria, July 23-25, 2010, Revised Selected Papers /$fedited by Marķa Alpuente
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (X, 249 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6564
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-20550-X 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the thoroughly refereed post-proceedings of the 20th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2010, held in Hagenberg, Austria in July 2010. The 13 revised full papers presented together with two invited papers were carefully reviewed and selected from 26 submissions. Among the topics covered are specification, synthesis, verification, analysis, optimization, specialization, security, certification, application and tools, program/model manipulation, and transformation techniques for any programming language paradigm.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6564
606   $aSoftware engineering
606   $aComputer programming
606   $aComputer science
606   $aArtificial intelligence
606   $aAlgorithms
606   $aSoftware Engineering
606   $aProgramming Techniques
606   $aComputer Science Logic and Foundations of Programming
606   $aArtificial Intelligence
606   $aAlgorithms
615  0$aSoftware engineering.
615  0$aComputer programming.
615  0$aComputer science.
615  0$aArtificial intelligence.
615  0$aAlgorithms.
615 14$aSoftware Engineering.
615 24$aProgramming Techniques.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aArtificial Intelligence.
615 24$aAlgorithms.
676   $a005.1
702   $aAlpuente$b Marķa$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465565603316
996   $aLogic-Based Program Synthesis and Transformation$92914320
997   $aUNISA