Integrated Formal Methods
by Elvira Albert, Emil Sekerinski
System designComputer scienceSoftware engineeringLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, InterpretersMathematical Logic and Formal Languages
Writing a summary for young readers…
For young readers
Book data: Open Library