Coalgebraic Methods in Computer Science
Coalgebraic Methods in Computer Science
Buch
- 16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings
- Herausgeber: Fabio Zanasi, Helle Hvid Hansen
- Springer International Publishing AG, 07/2022
- Einband: Kartoniert / Broschiert, Paperback
- Sprache: Englisch
- ISBN-13: 9783031107351
- Bestellnummer: 11011875
- Umfang: 216 Seiten
- Nummer der Auflage: 22001
- Auflage: 1st ed. 2022
- Gewicht: 335 g
- Maße: 235 x 155 mm
- Stärke: 11 mm
- Erscheinungstermin: 23.7.2022
- Serie: Lecture Notes in Computer Science - Band 13225
Achtung: Artikel ist nicht in deutscher Sprache!
Klappentext
This 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.