Coalgebraic methods in computer science 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, 2014 : revised selected papers /
作者:edited by Marcello M. Bonsangue.
出版者:Springer Berlin Heidelberg : Imprint: Springer