Coalgebraic Methods in Computer Science

No description available.
Mathematical Logic and Formal LanguagesLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProbability and Statistics in Computer Science

No description available.