Coalgebraic Methods in Computer Science: 12th IFIP WG 1.3 International Workshop, CMCS 2014, Colocated with ETAPS 2014, Grenoble, France, April 5-6, ... Notes in Computer Science, Band 8446)
Dieses Buch fasst die Beiträge des 12. IFIP WG 1.3 Workshops „Coalgebraic Methods in Computer Science“ zusammen, der im April 2014 in Grenoble ...