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 - Lecture Notes in Computer Science

Helle Hvid Hansen (editor), Fabio Zanasi (editor), Workshop on Coalgebraic Methods in Computer Science (creator), ETAPS (Conference) (creator)

Paperback (23 Jul 2022)

Save $8.92

RRP $124.90
$115.98

In Stock

Add to basket

Includes delivery to the United States

10+ copies available online - Usually dispatched within 7 days

Publisher's Synopsis

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.

Book information

ISBN:	9783031107351
Publisher:	Springer International Publishing
Imprint:	Springer
Pub date:	23 Jul 2022
DEWEY:	004.0151
DEWEY edition:	23
Language:	English
Number of pages:	195
Weight:	308g
Height:	235mm
Width:	155mm
Spine width:	12mm