Coalgebraic Methods in Computer Science
No description available.
Computer science, mathematicsComputer softwareComputer scienceLogic designMathematical Logic and Formal LanguagesComputation by Abstract DevicesLogics and Meanings of ProgramsProbability and Statistics in Computer Science