Formal Methods: Foundations and Applications
by Jim Davies
No description available.
Logic designInformation SystemsComputer scienceSoftware engineeringComputer software, developmentManagement of Computing and Information SystemsMathematical Logic and Formal LanguagesProgramming TechniquesProgramming Languages, Compilers, InterpretersLogics and Meanings of Programs