Mathematics of Program Construction
Mathematical Logic and Formal LanguagesLogic designComputational complexityDiscrete Mathematics in Computer ScienceSoftware engineeringMath Applications in Computer ScienceLogics and Meanings of ProgramsComputer science
Writing a summary for young readers…
For young readers
Book data: Open Library