001448421 000__ 02863cam\a2200613\i\4500
001448421 001__ 1448421
001448421 003__ OCoLC
001448421 005__ 20230310004238.0
001448421 006__ m\\\\\o\\d\\\\\\\\
001448421 007__ cr\cn\nnnunnun
001448421 008__ 220726s2022\\\\sz\a\\\\o\\\\\101\0\eng\d
001448421 019__ $$a1337144686
001448421 020__ $$a9783031107368$$q(electronic bk.)
001448421 020__ $$a3031107365$$q(electronic bk.)
001448421 020__ $$z9783031107351
001448421 020__ $$z3031107357
001448421 0247_ $$a10.1007/978-3-031-10736-8$$2doi
001448421 035__ $$aSP(OCoLC)1337381244
001448421 040__ $$aGW5XE$$beng$$erda$$epn$$cGW5XE$$dYDX$$dEBLCP$$dOCLCF$$dOCLCQ
001448421 049__ $$aISEA
001448421 050_4 $$aQA76.9.M35
001448421 08204 $$a004.01/51$$223/eng/20220726
001448421 1112_ $$aWorkshop on Coalgebraic Methods in Computer Science$$n(16th :$$d2022 :$$cMunich, Germany)
001448421 24510 $$aCoalgebraic methods in computer science :$$b16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /$$cHelle Hvid Hansen, Fabio Zanasi (eds.).
001448421 24630 $$aCMCS 2022
001448421 24630 $$aETAPS 2022
001448421 264_1 $$aCham :$$bSpringer,$$c[2022]
001448421 264_4 $$c©2022
001448421 300__ $$a1 online resource (xvii, 195 pages) :$$billustrations.
001448421 336__ $$atext$$btxt$$2rdacontent
001448421 337__ $$acomputer$$bc$$2rdamedia
001448421 338__ $$aonline resource$$bcr$$2rdacarrier
001448421 4901_ $$aLecture notes in computer science,$$x1611-3349 ;$$v13225
001448421 500__ $$aInternational conference proceedings.
001448421 500__ $$aIncludes author index.
001448421 506__ $$aAccess limited to authorized users.
001448421 520__ $$aThis book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022. The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.
001448421 588__ $$aOnline resource; title from PDF title page (SpringerLink, viewed July 26, 2022).
001448421 650_0 $$aComputer science$$xMathematics$$vCongresses.
001448421 650_0 $$aComputer software$$xMathematics$$vCongresses.
001448421 655_7 $$aConference papers and proceedings.$$2fast$$0(OCoLC)fst01423772
001448421 655_7 $$aConference papers and proceedings.$$2lcgft
001448421 655_0 $$aElectronic books.
001448421 7001_ $$aHansen, Helle Hvid,$$eeditor.
001448421 7001_ $$aZanasi, Fabio,$$eeditor.
001448421 7112_ $$aETAPS (Conference)$$n(25th :$$d2022 :$$cMunich, Germany)
001448421 77608 $$iPrint version: $$z3031107357$$z9783031107351$$w(OCoLC)1330196461
001448421 830_0 $$aLecture notes in computer science ;$$v13225.$$x1611-3349
001448421 852__ $$bebk
001448421 85640 $$3Springer Nature$$uhttps://univsouthin.idm.oclc.org/login?url=https://link.springer.com/10.1007/978-3-031-10736-8$$zOnline Access$$91397441.1
001448421 909CO $$ooai:library.usi.edu:1448421$$pGLOBAL_SET
001448421 980__ $$aBIB
001448421 980__ $$aEBOOK
001448421 982__ $$aEbook
001448421 983__ $$aOnline
001448421 994__ $$a92$$bISE