LEADER 04087nam  22008055  450 
001 9910484217903321
005 20200706082310.0
010   $a3-319-19797-5
024 7 $a10.1007/978-3-319-19797-5
035   $a(CKB)3710000000436885
035   $a(SSID)ssj0001547031
035   $a(PQKBManifestationID)16141141
035   $a(PQKBTitleCode)TC0001547031
035   $a(PQKBWorkID)14796322
035   $a(PQKB)10487311
035   $a(DE-He213)978-3-319-19797-5
035   $a(MiAaPQ)EBC6283357
035   $a(MiAaPQ)EBC5577571
035   $a(Au-PeEL)EBL5577571
035   $a(OCoLC)911181629
035   $a(PPN)186399413
035   $a(EXLCZ)993710000000436885
100   $a20150609d2015      u|         0
101 0 $aeng
135   $aurnn|008mamaa
181   $ctxt
182   $cc
183   $acr
200 10$aMathematics of Program Construction $e12th International Conference, MPC 2015, Königswinter, Germany, June 29--July 1, 2015. Proceedings /$fedited by Ralf Hinze, Janis Voigtländer
205   $a1st ed. 2015.
210  1$aCham :$cSpringer International Publishing :$cImprint: Springer,$d2015.
215   $a1 online resource (XIV, 323 p. 44 illus.) 
225 1 $aProgramming and Software Engineering ;$v9129
300   $aBibliographic Level Mode of Issuance: Monograph
311   $a3-319-19796-7 
327   $aType Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics.
330   $aThis book constitutes the refereed proceedings of the 12th International Conference on Mathematics of Program Construction, MPC 2015, held in Königswinter, Germany, in June/July 2015. The 15 revised full papers presented together with two invited talks were carefully reviewed and selected from 20 submissions. The papers are about mathematical methods and tools put to use in program construction. They range from algorithmics to support for program construction in programming languages and systems. Some typical areas are type systems, program analysis and transformation, programming-language semantics, security, and program logics.
410  0$aProgramming and Software Engineering ;$v9129
606   $aComputer logic
606   $aMathematical logic
606   $aSoftware engineering
606   $aComputer science?Mathematics
606   $aProgramming languages (Electronic computers)
606   $aLogics and Meanings of Programs$3https://scigraph.springernature.com/ontologies/product-market-codes/I1603X
606   $aMathematical Logic and Formal Languages$3https://scigraph.springernature.com/ontologies/product-market-codes/I16048
606   $aSoftware Engineering$3https://scigraph.springernature.com/ontologies/product-market-codes/I14029
606   $aDiscrete Mathematics in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17028
606   $aProgramming Languages, Compilers, Interpreters$3https://scigraph.springernature.com/ontologies/product-market-codes/I14037
606   $aMath Applications in Computer Science$3https://scigraph.springernature.com/ontologies/product-market-codes/I17044
615  0$aComputer logic.
615  0$aMathematical logic.
615  0$aSoftware engineering.
615  0$aComputer science?Mathematics.
615  0$aProgramming languages (Electronic computers).
615 14$aLogics and Meanings of Programs.
615 24$aMathematical Logic and Formal Languages.
615 24$aSoftware Engineering.
615 24$aDiscrete Mathematics in Computer Science.
615 24$aProgramming Languages, Compilers, Interpreters.
615 24$aMath Applications in Computer Science.
676   $a005.1
702   $aHinze$b Ralf$4edt$4http://id.loc.gov/vocabulary/relators/edt
702   $aVoigtländer$b Janis$4edt$4http://id.loc.gov/vocabulary/relators/edt
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a9910484217903321
996   $aMathematics of Program Construction$92915783
997   $aUNINA