LEADER 03418nam  22007335  450 
001 996466260903316
005 20230220161443.0
010   $a3-642-28729-8
024 7 $a10.1007/978-3-642-28729-9
035   $a(CKB)3360000000365935
035   $a(SSID)ssj0000666104
035   $a(PQKBManifestationID)11404215
035   $a(PQKBTitleCode)TC0000666104
035   $a(PQKBWorkID)10663898
035   $a(PQKB)10650975
035   $a(DE-He213)978-3-642-28729-9
035   $a(MiAaPQ)EBC3069949
035   $a(PPN)168312689
035   $a(EXLCZ)993360000000365935
100   $a20120321d2012      u|             0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aFoundations of Software Science and Computational Structures$b[electronic resource] $e15th International Conference, FOSSACS 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 Lars Birkedal
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (XVII, 484 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7213
300   $aInternational conference proceedings.
311   $a3-642-28728-X 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the proceedings of the 15th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 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 29 papers presented in this book together with two invited talks in full paper length were carefully reviewed and selected from 100 full paper submissions. The papers deal with theories and methods to support analysis, synthesis, transformation and verification of programs and software systems.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7213
606   $aMachine theory
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
606   $aArtificial intelligence
606   $aFormal Languages and Automata Theory
606   $aTheory of Computation
606   $aComputer Science Logic and Foundations of Programming
606   $aCompilers and Interpreters
606   $aSoftware Engineering
606   $aArtificial Intelligence
615  0$aMachine theory.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
615  0$aArtificial intelligence.
615 14$aFormal Languages and Automata Theory.
615 24$aTheory of Computation.
615 24$aComputer Science Logic and Foundations of Programming.
615 24$aCompilers and Interpreters.
615 24$aSoftware Engineering.
615 24$aArtificial Intelligence.
676   $a005.131
702   $aBirkedal$b Lars$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aETAPS (Conference)$f(2012 :$eTallinn, Estonia)
906   $aBOOK
912   $a996466260903316
996   $aFoundations of Software Science and Computational Structures$9772755
997   $aUNISA