001463049 000__ 03200nam\a22006257i\4500
001463049 001__ 1463049
001463049 003__ OCoLC
001463049 005__ 20230601003303.0
001463049 006__ m\\\\\o\\d\\\\\\\\
001463049 007__ cr\un\nnnunnun
001463049 008__ 230418s2023\\\\sz\a\\\\o\\\\\100\0\eng\d
001463049 020__ $$a9783031300448$$q(electronic bk.)
001463049 020__ $$a3031300440$$q(electronic bk.)
001463049 020__ $$z9783031300431
001463049 0247_ $$a10.1007/978-3-031-30044-8$$2doi
001463049 035__ $$aSP(OCoLC)1376355114
001463049 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE
001463049 049__ $$aISEA
001463049 050_4 $$aQA76.6
001463049 08204 $$a005.1$$223/eng/20230418
001463049 1112_ $$aEuropean Symposium on Programming$$n(32nd :$$d2023 :$$cParis, France)
001463049 24510 $$aProgramming languages and systems :$$b32nd European Symposium on Programming, ESOP 2023, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings /$$cThomas Wies, editor.
001463049 2463_ $$aESOP 2023
001463049 264_1 $$aCham, Switzerland :$$bSpringer,$$c2023.
001463049 300__ $$a1 online resource (x, 558 pages) :$$billustrations.
001463049 336__ $$atext$$btxt$$2rdacontent
001463049 337__ $$acomputer$$bc$$2rdamedia
001463049 338__ $$aonline resource$$bcr$$2rdacarrier
001463049 4901_ $$aLecture Notes in Computer Science,$$x1611-3349 ;$$v13990
001463049 4901_ $$aAdvanced research in computing and software science
001463049 500__ $$aIncludes author index.
001463049 5060_ $$aOpen access.$$5GW5XE
001463049 520__ $$aThis open access book constitutes the proceedings of the 32nd European Symposium on Programming, ESOP 2023, which was held during April 22-27, 2023, in Paris, France, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023. The 20 regular papers presented in this volume were carefully reviewed and selected from 55 submissions. They deal with fundamental issues in the specification, design, analysis, and implementation of programming languages and systems.
001463049 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed April 17, 2023).
001463049 650_0 $$aComputer programming$$vCongresses.
001463049 650_0 $$aProgramming languages (Electronic computers)$$vCongresses.
001463049 655_0 $$aElectronic books.
001463049 7001_ $$aWies, Thomas,$$eeditor.$$1https://orcid.org/0000-0003-4051-5968
001463049 7112_ $$aETAPS (Conference)$$n(26th :$$d2023 :$$cParis, France)
001463049 830_0 $$aLecture notes in computer science ;$$v13990.$$x1611-3349
001463049 830_0 $$aLecture notes in computer science.$$pAdvanced research in computing and software science.
001463049 852__ $$bebk
001463049 85640 $$3Springer Nature$$uhttps://link.springer.com/10.1007/978-3-031-30044-8$$zOnline Access$$91397441.2
001463049 909CO $$ooai:library.usi.edu:1463049$$pGLOBAL_SET
001463049 980__ $$aBIB
001463049 980__ $$aEBOOK
001463049 982__ $$aEbook
001463049 983__ $$aOnline
001463049 994__ $$a92$$bISE