- ホーム
- > 洋書
- > 英文書
- > Computer / General
Full Description
This book constitutes the thoroughly refereed post-proceedings of the 12th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2014, colocated with ETAPS 2014, held in Grenoble, France, in April 2014. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.



