Ankündigung

König / Urbat

Coalgebraic Methods in Computer Science

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6–7, 2024, Proceedings

Jetzt vorbestellen! Wir liefern bei Erscheinen (Erscheint vsl. August 2024)

Rezensionen ansehen

Standardpreis

ca. 69.54 €

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

Fachbuch

Buch. Softcover

2024

x, 214 S. 34 s/w-Abbildungen, Bibliographien.

In englischer Sprache

Springer. ISBN 978-3-031-66437-3

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

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

Produktbeschreibung

This book constitutes the post-conference proceedings of the 17th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2024, colocated with ETAPS 2024, held in Luxembourg in April 2024.

The 10 papers included in these proceedings were carefully reviewed and selected from 15 submissions. The papers cover a wide range of topics on theory, logics, and applications of coalgebras.