Coalgebraic Methods in Computer Sciencede Marcello M. BonsangueMateriasComputer science, mathematicsComputer softwareComputer scienceLogic designMathematical Logic and Formal LanguagesComputation by Abstract DevicesLogics and Meanings of ProgramsProbability and Statistics in Computer ScienceEdiciones (2)
