LEADER 03283nam  22006855  450 
001 996465890603316
005 20230406071559.0
010   $a3-642-19805-8
024 7 $a10.1007/978-3-642-19805-2
035   $a(CKB)2670000000076058
035   $a(SSID)ssj0000536816
035   $a(PQKBManifestationID)11324349
035   $a(PQKBTitleCode)TC0000536816
035   $a(PQKBWorkID)10549497
035   $a(PQKB)10379756
035   $a(DE-He213)978-3-642-19805-2
035   $a(MiAaPQ)EBC3066547
035   $a(PPN)151589585
035   $a(EXLCZ)992670000000076058
100   $a20110314d2011      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] $e14th International Conference, FOSSACS 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 Martin Hofmann
205   $a1st ed. 2011.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2011.
215   $a1 online resource (XV, 473 p.) 
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6604
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-642-19804-X 
320   $aIncludes bibliographical references and index.
330   $aThis book constitutes the refereed proceedings of the 14th International Conference on Foundations of Software Science and computational Structures, FOSSACS 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 30 revised full papers presented together with one full-paper length invited talk were carefully reviewed and selected from 100 submissions. The papers are organized in topical sections on coalgebra and computability, type theory, process calculi, automata theory, semantics, binding, security, and program analysis.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v6604
606   $aMachine theory
606   $aComputer science
606   $aCompilers (Computer programs)
606   $aSoftware engineering
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
615  0$aMachine theory.
615  0$aComputer science.
615  0$aCompilers (Computer programs).
615  0$aSoftware engineering.
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.
676   $a005.131
702   $aHofmann$b Martin$4edt$4http://id.loc.gov/vocabulary/relators/edt
712 12$aETAPS 2011$f(2011 :$eSaarbru?cken, Germany)
906   $aBOOK
912   $a996465890603316
996   $aFoundations of Software Science and Computational Structures$9772755
997   $aUNISA