Coalgebraic Methods in Computer Science

Available
0
StarStarStarStarStar
0Reviews
Unknown authorUnknown author

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.

E-book
epub
Price
129.99 £

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.

Options

  • Formats: epub
  • ISBN: 9783031664380
  • Publication Date: 25 Jul 2024
  • Publisher: Springer Nature Switzerland
  • Drm Setting: DRM