000931783 000__ 02338cam\a2200517Ii\4500 000931783 001__ 931783 000931783 005__ 20230306151702.0 000931783 006__ m\\\\\o\\d\\\\\\\\ 000931783 007__ cr\cn\nnnunnun 000931783 008__ 200427s2020\\\\sz\a\\\\o\\\\\101\0\eng\d 000931783 020__ $$a9783030449148$$q(electronic book) 000931783 020__ $$a3030449149$$q(electronic book) 000931783 020__ $$z9783030449131 000931783 0247_ $$a10.1007/978-3-030-44914-8$$2doi 000931783 035__ $$aSP(OCoLC)on1152157730 000931783 035__ $$aSP(OCoLC)1152157730 000931783 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE 000931783 049__ $$aISEA 000931783 050_4 $$aQA76.6 000931783 08204 $$a005.1$$223 000931783 1112_ $$aEuropean Symposium on Programming$$n(29th :$$d2020 :$$cDublin, Ireland) 000931783 24510 $$aProgramming languages and systems :$$b29th European Symposium on Programming, ESOP 2020, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25-30, 2020, Proceedings /$$cPeter Müller (ed.). 000931783 2463_ $$aESOP 2020 000931783 264_1 $$aCham :$$bSpringer,$$c2020. 000931783 300__ $$a1 online resource (xv, 772 pages) :$$billustrations. 000931783 336__ $$atext$$btxt$$2rdacontent 000931783 337__ $$acomputer$$bc$$2rdamedia 000931783 338__ $$aonline resource$$bcr$$2rdacarrier 000931783 4901_ $$aLecture notes in computer science ;$$v12075 000931783 4901_ $$aAdvanced research in computing and software science 000931783 4901_ $$aLNCS sublibrary: SL 1, Theoretical Computer Science and General Issues 000931783 500__ $$aInternational conference proceedings. 000931783 500__ $$aIncludes author index. 000931783 506__ $$aAccess limited to authorized users. 000931783 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 27, 2020). 000931783 650_0 $$aComputer programming$$vCongresses. 000931783 650_0 $$aProgramming languages (Electronic computers)$$vCongresses. 000931783 7001_ $$aMüller, Peter,$$eeditor. 000931783 7112_ $$aETAPS (Conference)$$n(23rd :$$d2020 :$$cDublin, Ireland),$$jjointly held conference. 000931783 830_0 $$aLecture notes in computer science ;$$v12075. 000931783 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science. 000931783 830_0 $$aLNCS sublibrary.$$nSL 1,$$pTheoretical computer science and general issues. 000931783 852__ $$bebk 000931783 85640 $$3SpringerLink$$uhttps://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-030-44914-8$$zOnline Access$$91397441.1 000931783 909CO $$ooai:library.usi.edu:931783$$pGLOBAL_SET 000931783 980__ $$aEBOOK 000931783 980__ $$aBIB 000931783 982__ $$aEbook 000931783 983__ $$aOnline 000931783 994__ $$a92$$bISE