01683nam 2200457 450 99648316070331620230107094306.03-031-10736-5(MiAaPQ)EBC7048961(Au-PeEL)EBL7048961(CKB)24279813400041(PPN)263897257(EXLCZ)992427981340004120230107d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierCoalgebraic methods in computer science 16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /Helle Hvid Hansen and Fabio Zanasi, editorsCham, Switzerland :Springer Nature Switzerland AG,[2022]©20221 online resource (210 pages)Lecture notes in computer science ;13225Print version: Hansen, Helle Hvid Coalgebraic Methods in Computer Science Cham : Springer International Publishing AG,c2022 9783031107351 Includes bibliographical references and index.Lecture notes in computer science ;13225.Computer scienceMathematicsCongressesComputer softwareCongressesComputer scienceMathematicsComputer software004.0151Hansen Helle HvidZanasi FabioMiAaPQMiAaPQMiAaPQBOOK996483160703316Coalgebraic Methods in Computer Science2902835UNISA