Formal Methods for Executable Software Models
by Marco Bernardo, Ferruccio Damiani, Reiner Haehnle, Einar Broch Johnsen, Ina Schaefer
Computer software, developmentSystem designSoftware engineeringComputer scienceInformation theoryLogic designLogics and Meanings of ProgramsProgramming Languages, Compilers, Interpreters
Writing a summary for young readers…
For young readers
Book data: Open Library