Coalgebraic 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, editors

• Record Nr.: UNISA996483160703316
• Pubbl/distr/stampa: Cham, Switzerland : , : Springer Nature Switzerland AG, , [2022]; ©2022
• ISBN: 3-031-10736-5
• Descrizione fisica: 1 online resource (210 pages)
• Collana: Lecture notes in computer science ; ; 13225
• Disciplina: 004.0151
• Soggetti: Computer science - Mathematics; Computer software
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia
• Nota di bibliografia: Includes bibliographical references and index.