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

詳細記述

保存先:
書誌詳細
団体著者: SpringerLink (Online service)
その他の著者: Schröder, Lutz, Pattinson, Dirk
フォーマット: eBook
言語:English
出版事項: Berlin, Heidelberg Imprint: Springer 2012.
シリーズ:Lecture notes in computer science 7399
主題:
オンライン・アクセス:Click here to view the full text content
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!
このレコードへの初めてのコメントを付けませんか!
この操作にはログインが必要です