Tallenna
Coalgebraic Methods in Computer Science
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.
- Alaotsikko
- 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014, Revised Selected Papers
- Toimittaja
- Marcello M. Bonsangue
- Painos
- 2014 ed.
- ISBN
- 9783662441237
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 1.9.2014
- Sivumäärä
- 245
