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
E-bok
Engelska, 20242 073 kr
Läs direkt i Bokus Reader – eller ladda ned till din enhet
Beskrivning
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.
Produktinformation
Utforska kategorier
Hoppa över listan
Du kanske också är intresserad av
Del 14617
Tools and Algorithms for the Construction and Analysis of Systems
Barbara Konig, Cormac Flanagan
E-bok
2012739 kr
- Signerad!
Del 3
- Nyhet
- -19%
- Signerad!
- -21%