Formal methods in programming and their applications

Formal methods in programming and their applications
Details
- OL Work ID
- OL18295905W
Subjects
Formal methods (Computer science)Computer programmingMathematical Logic and Formal LanguagesSoftware engineeringAlgebraSymbolic and Algebraic ManipulationComputer ScienceLogic designLogics and Meanings of ProgramsArtificial Intelligence (incl. Robotics)Data processingProgramming Languages, Compilers, InterpretersArtificial intelligenceSystem design