Für statistische Zwecke und um bestmögliche Funktionalität zu bieten, speichert diese Website Cookies auf Ihrem Gerät. Das Speichern von Cookies kann in den Browser-Einstellungen deaktiviert werden. Wenn Sie die Website weiter nutzen, stimmen Sie der Verwendung von Cookies zu.
Cookie akzeptieren![Schröder, Lutz / Dirk Pattinson (Hrsg.). Coalgebraic Methods in Computer Science - 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 -- April 1, 2012, Revised Selected Papers. Springer Berlin Heidelberg, 2012.](https://eichendorff21.de/cdata/uCgLYsb2tCEXp5GqyNPlJJDprIw=/300x0/9783642327834.png)
Coalgebraic Methods in Computer Science
- Springer Berlin Heidelberg
- 2012
- Taschenbuch
- 268 Seiten
- ISBN 9783642327834
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.
zzgl. Versand
in Kürze