Coalgebraic Methods in Computer Science 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers /

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 10 revised full papers were carefully reviewed and selected from 23 su...

Full description

Bibliographic Details

Call Number:	Libro Electrónico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Pattinson, Dirk (Editor), Schröder, Lutz (Editor)
Format:	Electronic eBook
Language:	Inglés
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Edition:	1st ed. 2012.
Series:	Theoretical Computer Science and General Issues, 7399
Subjects:	Machine theory. Computer science. Computer science-Mathematics. Mathematical statistics. Formal Languages and Automata Theory. Theory of Computation. Computer Science Logic and Foundations of Programming. Probability and Statistics in Computer Science.
Online Access:	Texto Completo