Coalgebraic Methods in Computer Science (Buch)

Coalgebraic Methods in Computer Science

Buch

17th IFIP WG 1.3 International Workshop, CMCS 2024, Colocated with ETAPS 2024, Luxembourg City, Luxembourg, April 6¿7, 2024, Proceedings
Herausgeber: Henning Urbat, Barbara König

lieferbar innerhalb 2-3 Wochen
(soweit verfügbar beim Lieferanten)

EUR 71,19*

Verlängerter Rückgabezeitraum bis 31. Januar 2025

Alle zur Rückgabe berechtigten Produkte, die zwischen dem 1. bis 31. Dezember 2024 gekauft wurden, können bis zum 31. Januar 2025 zurückgegeben werden.

Versandkosten

Springer Nature Switzerland, 07/2024
Einband: Kartoniert / Broschiert, Paperback
Sprache: Englisch
ISBN-13: 9783031664373
Bestellnummer: 11928875
Umfang: 228 Seiten
Auflage: 2024
Gewicht: 353 g
Maße: 235 x 155 mm
Stärke: 13 mm
Erscheinungstermin: 26.7.2024
Serie: Lecture Notes in Computer Science - Band 14617
Achtung: Artikel ist nicht in deutscher Sprache!

Klappentext

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.