LEADER 01683nam  2200457   450 
001 996483160703316
005 20230107094306.0
010   $a3-031-10736-5
035   $a(MiAaPQ)EBC7048961
035   $a(Au-PeEL)EBL7048961
035   $a(CKB)24279813400041
035   $a(PPN)263897257
035   $a(EXLCZ)9924279813400041
100   $a20230107d2022      uy             0
101 0 $aeng
135   $aurcnu||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 00$aCoalgebraic methods in computer science $e16th IFIP WG 1.3 international workshop, CMCS 2022, colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022 : proceedings /$fHelle Hvid Hansen and Fabio Zanasi, editors
210  1$aCham, Switzerland :$cSpringer Nature Switzerland AG,$d[2022]
210  4$dİ2022
215   $a1 online resource (210 pages)
225 1 $aLecture notes in computer science ;$v13225
311 08$aPrint version: Hansen, Helle Hvid Coalgebraic Methods in Computer Science Cham : Springer International Publishing AG,c2022 9783031107351 
320   $aIncludes bibliographical references and index.
410  0$aLecture notes in computer science ;$v13225.
606   $aComputer science$xMathematics$vCongresses
606   $aComputer software$vCongresses
615  0$aComputer science$xMathematics
615  0$aComputer software
676   $a004.0151
702   $aHansen$b Helle Hvid
702   $aZanasi$b Fabio
801  0$bMiAaPQ
801  1$bMiAaPQ
801  2$bMiAaPQ
906   $aBOOK
912   $a996483160703316
996   $aCoalgebraic Methods in Computer Science$92902835
997   $aUNISA