Tell your friends about this item:
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues Dirk Pattinson 2012 edition
Coalgebraic Methods in Computer Science: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers - Theoretical Computer Science and General Issues
Dirk Pattinson
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.
270 pages, 7 black & white illustrations, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | August 2, 2012 |
| ISBN13 | 9783642327834 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 259 |
| Dimensions | 155 × 235 × 14 mm · 381 g |
| Language | German |
| Editor | Pattinson, Dirk |
| Editor | Schroeder, Lutz |