Integrated Formal Methods
by John Derrick
Popularity 1
No description available.
Mathematical Logic and Formal LanguagesProgramming TechniquesSoftware engineeringAlgorithm Analysis and Problem ComplexityLogic designLogics and Meanings of ProgramsComputer scienceProgramming Languages, Compilers, InterpretersComputer software