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...

Description complète

Détails bibliographiques

Cote:	Libro Electrónico
Collectivité auteur:	SpringerLink (Online service)
Autres auteurs:	Pattinson, Dirk (Éditeur intellectuel), Schröder, Lutz (Éditeur intellectuel)
Format:	Électronique eBook
Langue:	Inglés
Publié:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2012.
Édition:	1st ed. 2012.
Collection:	Theoretical Computer Science and General Issues, 7399
Sujets:	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.
Accès en ligne:	Texto Completo