,

Coalgebraic Methods in Computer Science

16th IFIP WG 1.3 International Workshop, CMCS 2022, Colocated with ETAPS 2022, Munich, Germany, April 2-3, 2022, Proceedings

Specificaties
Paperback, blz. | Engels
Springer International Publishing | e druk, 2022
ISBN13: 9783031107351
Rubricering
Springer International Publishing e druk, 2022 9783031107351
Onderdeel van serie Lecture Notes in Computer Science
Verwachte levertijd ongeveer 9 werkdagen

Samenvatting

This book constitutes the thoroughly refereed post-conference proceedings of the 16th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2022, colocated with ETAPS 2022, held in Munich, Germany, in April 2022.

The 9 revised full papers were carefully reviewed and selected from 12 submissions. The papers cover a wide range of topics in the theory, logics, and applications of coalgebras.

Specificaties

ISBN13:9783031107351
Taal:Engels
Bindwijze:paperback
Uitgever:Springer International Publishing

Rubrieken

    Personen

      Trefwoorden

        Coalgebraic Methods in Computer Science