Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, ... Notes in Computer Science, Band 14617) - Softcover

 
9783031664373: Coalgebraic Methods in Computer Science: 17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, ... Notes in Computer Science, Band 14617)
Softcover
ISBN 10: 303166437X ISBN 13: 9783031664373
Verlag: Springer, 2024

Inhaltsangabe

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.

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer
Erscheinungsdatum
2024
Sprache
Englisch
ISBN 10 
303166437X
ISBN 13 
9783031664373
Einband
Taschenbuch
Anzahl der Seiten
228
Herausgeber
König Barbara, Urbat Henning
Kontakt zum Hersteller
Springer Nature Customer Service Center GmbH
ProductSafety@springernature.com

Europaplatz 3
Heidelberg
69115
Deutschland