Formal Methods for Model-Driven Engineering
Mathematical Logic and Formal LanguagesSoftware Engineering/Programming and Operating SystemsInformation SystemsSoftware engineeringInformation Systems Applications (incl. Internet)Computer scienceManagement of Computing and Information SystemsProgramming Languages, Compilers, Interpreters
Writing a summary for young readers…
For young readers
Book data: Open Library