Integrated Formal Methods
by John Derrick
Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, Interpreters
Writing a summary for young readers…
For young readers
Book data: Open Library