LEADER 03399nam  22007575  450 
001 996465519603316
005 20230329180458.0
010   $a3-642-31113-X
024 7 $a10.1007/978-3-642-31113-0
035   $a(CKB)3400000000085333
035   $a(SSID)ssj0000697544
035   $a(PQKBManifestationID)11482017
035   $a(PQKBTitleCode)TC0000697544
035   $a(PQKBWorkID)10692299
035   $a(PQKB)10101801
035   $a(DE-He213)978-3-642-31113-0
035   $a(MiAaPQ)EBC3071029
035   $a(PPN)168318504
035   $a(EXLCZ)993400000000085333
100   $a20120620d2012      u|             0
101 0 $aeng
135   $aurnn#008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aMathematics of Program Construction$b[electronic resource] $e11th International Conference, MPC 2012, Madrid, Spain, June 25-27, 2012, Proceedings /$fedited by Jeremy Gibbons, Pablo Nogueira
205   $a1st ed. 2012.
210  1$aBerlin, Heidelberg :$cSpringer Berlin Heidelberg :$cImprint: Springer,$d2012.
215   $a1 online resource (X, 363 p. 57 illus.)
225 1 $aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7342
300   $aInternational conference proceedings.
311   $a3-642-31112-1 
320   $aIncludes bibliographical references and author index.
330   $aThis book constitutes the refereed proceedings of the 11th International Conference on Mathematics of Program Construction, MPC 2012, held in Madrid, Spain, in June 2012. The 13 revised full papers presented together with three invited talks were carefully reviewed and selected from 27 submissions. The papers are organized in topical sections on security and information flow, synchronous and real-time systems, algorithms and games, program calculi, tool support, algebras and datatypes, and categorical functional programming.
410  0$aTheoretical Computer Science and General Issues,$x2512-2029 ;$v7342
606   $aComputer science
606   $aMachine theory
606   $aSoftware engineering
606   $aComputer science?Mathematics
606   $aDiscrete mathematics
606   $aCompilers (Computer programs)
606   $aComputer Science Logic and Foundations of Programming
606   $aFormal Languages and Automata Theory
606   $aSoftware Engineering
606   $aDiscrete Mathematics in Computer Science
606   $aCompilers and Interpreters
606   $aMathematical Applications in Computer Science
615  0$aComputer science.
615  0$aMachine theory.
615  0$aSoftware engineering.
615  0$aComputer science?Mathematics.
615  0$aDiscrete mathematics.
615  0$aCompilers (Computer programs).
615 14$aComputer Science Logic and Foundations of Programming.
615 24$aFormal Languages and Automata Theory.
615 24$aSoftware Engineering.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aCompilers and Interpreters.
615 24$aMathematical Applications in Computer Science.
676   $a005.1015113
702   $aGibbons$b Jeremy$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aNogueira$b Pablo$4edt$4http://id.loc.gov/vocabulary/relators/edt
906   $aBOOK
912   $a996465519603316
996   $aMathematics of Program Construction$92915783
997   $aUNISA