Title: Coalgebraic Methods in Computer Science
Subjects: Mathematical Logic and Formal Languages, Logic design, Logics and Meanings of Programs, Computation by Abstract Devices, Computer science, Probability and Statistics in Computer Science