Formal Methods: Foundations and Applications
by Jim Davies
Logic designInformation SystemsComputer scienceSoftware engineeringComputer software, developmentManagement of Computing and Information SystemsMathematical Logic and Formal LanguagesProgramming Techniques
Writing a summary for young readers…
For young readers
Book data: Open Library