Henning Urbat – författare
Visar alla böcker från författaren Henning Urbat. Handla med fri frakt och snabb leverans.
2 produkter
2 produkter
Del 14617 - Lecture Notes in Computer Science
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
Häftad, Engelska, 2024
704 kr
Skickas inom 10-15 vardagar
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.
2 057 kr
Läs direkt efter köp
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.