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