Coalgebraic Methods in Computer Science [E-Book]: 11th International Workshop, CMCS 2012, Colocated with ETAPS 2012, Tallinn, Estonia, March 31 – April 1, 2012, Revised Selected Papers / edited by Dirk Pattinson, Lutz Schröder.
Pattinson, Dirk.
Schröder, Lutz.
Berlin, Heidelberg : Springer Berlin Heidelberg : 2012
Imprint: Springer,
digital.
englisch
9783642327841
10.1007/978-3-642-32784-1
Lecture notes in computer science ; 7399
Full Text
Description not available.