Del 13225

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

Häftad, Engelska, 2022

Av Helle Hvid Hansen, Fabio Zanasi

1 589 kr

Beställningsvara. Skickas inom 10-15 vardagar
Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

  • Utgivningsdatum2022-07-23
  • Mått155 x 235 x 12 mm
  • Vikt335 g
  • FormatHäftad
  • SpråkEngelska
  • SerieLecture Notes in Computer Science
  • Antal sidor195
  • FörlagSpringer International Publishing AG
  • ISBN9783031107351