Tallenna
Coalgebraic Methods in Computer Science
This book constitutes the thoroughly refereed post-proceedings of the 11th International Workshop on Coalgebraic Methods in Computer Science, CMCS 2012, colocated with ETAPS 2012, held in Tallin, Estonia, in March/April 2012. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
- Alaotsikko
- 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers
- Toimittaja
- Dirk Pattinson, Lutz Schröder
- Painos
- 2012 ed.
- ISBN
- 9783642327834
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 2.8.2012
- Sivumäärä
- 259
