Hansen / Zanasi

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

lieferbar ca. 10 Tage als Sonderdruck ohne Rückgaberecht

Rezensionen ansehen

Standardpreis

117,69 €

Preisangaben inkl. MwSt. Abhängig von der Lieferadresse kann die MwSt. an der Kasse variieren. Weitere Informationen

auch verfügbar als eBook (PDF) für 106,99 €

Fachbuch

Buch. Softcover

2022

xvii, 195 S. 8 s/w-Abbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-10735-1

Format (B x L): 15,5 x 23,5 cm

Gewicht: 338 g

Das Werk ist Teil der Reihe: Lecture Notes in Computer Science; 13225

Produktbeschreibung

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.