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)

Ein Fachband aus dem 12. IFIP WG 1.3 Workshop „Coalgebraic Methods in Computer Science“, der im April 2014 in Grenoble stattfand, präsentiert aktuelle Forschung zu coalgebraischen Modellen und deren Anwendungen in Informatik.

Teilen: