Coalgebraic Methods in Computer Science: 11th International...

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

Samson Abramsky, Jonathan Zvesper (auth.), Dirk Pattinson, Lutz Schröder (eds.)
Wie gefällt Ihnen dieses Buch?
Wie ist die Qualität der Datei?
Herunterladen Sie das Buch, um Ihre Qualität zu bewerten
Wie ist die Qualität der heruntergeladenen Dateien?
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.
Jahr:
2012
Auflage:
1
Verlag:
Springer-Verlag Berlin Heidelberg
Sprache:
english
Seiten:
259
ISBN 10:
3642327842
ISBN 13:
9783642327841
Serien:
Lecture Notes in Computer Science 7399 : Theoretical Computer Science and General Issues
Datei:
PDF, 2.65 MB
IPFS:
CID , CID Blake2b
english, 2012
Online lesen
Die Konvertierung in ist im Gange
Die Konvertierung in ist fehlgeschlagen