Formal Methods for Industrial Critical Systems
by Frédéric Lang, Francesco Flammini
Software engineeringComputer programsComputer scienceLogic designProgramming Languages, Compilers, InterpretersLogics and Meanings of ProgramsSpecial Purpose and Application-Based Systems
Writing a summary for young readers…
For young readers
Book data: Open Library