Coalgebraic Methods in Computer Science
Mathematical Logic and Formal LanguagesLogic designLogics and Meanings of ProgramsComputation by Abstract DevicesComputer scienceProbability and Statistics in Computer Science
Writing a summary for young readers…
For young readers
Book data: Open Library