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 submissions. Also included are three invited talks. The papers cover a wide range of topics in the theory, logics and applications of coalgebras.
Cumpărați această carte electronică și primiți încă 1 GRATUIT!
Limba Engleză ● Format PDF ● ISBN 9783642327841 ● Editor Dirk Pattinson & Lutz Schroder ● Editura Springer Berlin Heidelberg ● Publicat 2012 ● Descărcabil 3 ori ● Valută EUR ● ID 6378300 ● Protecție împotriva copiilor Adobe DRM
Necesită un cititor de ebook capabil de DRM