Coalgebraic Methods in Computer Science
Marcello M. Bonsangue
Coalgebraic Methods in Computer Science - Springer 2014 - Lecture Notes in Computer Science .
9783662441244
Mathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs; Probability and Statistics in Computer Science
Coalgebraic Methods in Computer Science - Springer 2014 - Lecture Notes in Computer Science .
9783662441244
Mathematical Logic and Formal Languages; Computation by Abstract Devices; Logics and Meanings of Programs; Probability and Statistics in Computer Science