000915978 000__ 02023cam\a2200481Ii\4500
000915978 001__ 915978
000915978 005__ 20230306150516.0
000915978 006__ m\\\\\o\\d\\\\\\\\
000915978 007__ cr\cn\nnnunnun
000915978 008__ 191023s2019\\\\sz\a\\\\o\\\\\101\0\eng\d
000915978 020__ $$a9783030336363$$q(electronic book)
000915978 020__ $$a3030336360$$q(electronic book)
000915978 020__ $$z9783030336356
000915978 0247_ $$a10.1007/978-3-030-33636-3$$2doi
000915978 035__ $$aSP(OCoLC)on1124854927
000915978 035__ $$aSP(OCoLC)1124854927
000915978 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dOCLCF
000915978 049__ $$aISEA
000915978 050_4 $$aQA76.6$$b.M63 2019eb
000915978 08204 $$a005.101/51$$223
000915978 1112_ $$aInternational Conference on the Mathematics of Program Construction$$n(13th :$$d2019 :$$cPorto, Portugal)
000915978 24510 $$aMathematics of program construction :$$b13th International Conference, MPC 2019, Porto, Portugal, October 7-9, 2019, Proceedings /$$cGraham Hutton (eds.).
000915978 2463_ $$aMPC 2019
000915978 264_1 $$aCham, Switzerland :$$bSpringer,$$c2019.
000915978 300__ $$a1 online resource (viii, 467 pages) :$$billustrations.
000915978 336__ $$atext$$btxt$$2rdacontent
000915978 337__ $$acomputer$$bc$$2rdamedia
000915978 338__ $$aonline resource$$bcr$$2rdacarrier
000915978 4901_ $$aLecture notes in computer science ;$$v11825
000915978 4901_ $$aLNCS sublibrary. SL 2, Programming and software engineering
000915978 500__ $$aInternational conference proceedings.
000915978 500__ $$aIncludes author index.
000915978 506__ $$aAccess limited to authorized users.
000915978 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed October 23, 2019).
000915978 650_0 $$aComputer programming$$xMathematics$$vCongresses.
000915978 650_0 $$aComputer programs$$xMathematics$$vCongresses.
000915978 7001_ $$aHutton, Graham,$$d1968-$$eeditor.
000915978 830_0 $$aLecture notes in computer science ;$$v11825.
000915978 830_0 $$aLNCS sublibrary.$$nSL 2,$$pProgramming and software engineering.
000915978 852__ $$bebk
000915978 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-33636-3$$zOnline Access$$91397441.1
000915978 909CO $$ooai:library.usi.edu:915978$$pGLOBAL_SET
000915978 980__ $$aEBOOK
000915978 980__ $$aBIB
000915978 982__ $$aEbook
000915978 983__ $$aOnline
000915978 994__ $$a92$$bISE