000727764 000__ 02894cam\a2200517Ii\4500
000727764 001__ 727764
000727764 005__ 20230306140936.0
000727764 006__ m\\\\\o\\d\\\\\\\\
000727764 007__ cr\cn\nnnunnun
000727764 008__ 150618s2015\\\\sz\a\\\\ob\\\\101\0\eng\d
000727764 020__ $$a9783319197975$$qelectronic book
000727764 020__ $$a3319197975$$qelectronic book
000727764 020__ $$z9783319197968
000727764 0247_ $$a10.1007/978-3-319-19797-5$$2doi
000727764 035__ $$aSP(OCoLC)ocn911181629
000727764 035__ $$aSP(OCoLC)911181629
000727764 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDXCP$$dUPM$$dVLB
000727764 049__ $$aISEA
000727764 050_4 $$aQA76.6$$b.M63 2015eb
000727764 08204 $$a005.101/51$$223
000727764 1112_ $$aMPC (Conference)$$n(12th :$$d2015 :$$cKönigswinter, Germany)
000727764 24510 $$aMathematics of program construction$$h[electronic resource] :$$b12th International Conference, MPC 2015, Königswinter, Germany, June 29-July 1, 2015. Proceedings /$$cRalf Hinze, Janis Voigtländer (eds.).
000727764 2463_ $$aMPC 2015
000727764 264_1 $$aCham :$$bSpringer,$$c2015.
000727764 300__ $$a1 online resource (xiv, 323 pages) :$$billustrations.
000727764 336__ $$atext$$btxt$$2rdacontent
000727764 337__ $$acomputer$$bc$$2rdamedia
000727764 338__ $$aonline resource$$bcr$$2rdacarrier
000727764 4901_ $$aLecture notes in computer science,$$x0302-9743 ;$$v9129
000727764 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000727764 500__ $$aInternational conference proceedings.
000727764 504__ $$aIncludes bibliographical references and author index.
000727764 5050_ $$aType Systems -- Program analysis and Transformation -- Programming-language semantics -- Security -- Program logics.
000727764 506__ $$aAccess limited to authorized users.
000727764 520__ $$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.
000727764 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed June 18, 2015).
000727764 650_0 $$aComputer programming$$xMathematics$$vCongresses.
000727764 650_0 $$aComputer programs$$xMathematics$$vCongresses.
000727764 7001_ $$aHinze, Ralf,$$eeditor.
000727764 7001_ $$aVoigtländer, Janis,$$d1977-$$eeditor.
000727764 830_0 $$aLecture notes in computer science ;$$v9129.
000727764 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000727764 852__ $$bebk
000727764 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-19797-5$$zOnline Access$$91397441.1
000727764 909CO $$ooai:library.usi.edu:727764$$pGLOBAL_SET
000727764 980__ $$aEBOOK
000727764 980__ $$aBIB
000727764 982__ $$aEbook
000727764 983__ $$aOnline
000727764 994__ $$a92$$bISE