Coalgebraic Methods in Computer Science : 15. IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020, Proceedings / Daniela Petrişan, Jurriaan Rot editors

• Record Nr.: UNICAMPANIAVAN00248772
• Pubbl/distr/stampa: Cham, : Springer, 2020
• Titolo uniforme: Coalgebraic Methods in Computer Science
• Descrizione fisica: xv, 201 p. : ill. ; 24 cm
• Soggetti: 00B25 - Proceedings of conferences of miscellaneous specific interest [MSC 2020]; 68-XX - Computer science [MSC 2020]; 68Q65 - Abstract data types; algebraic specification [MSC 2020]
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia