Formal methods in programming and their applications

Name: Formal methods in programming and their applications
Author: D. Bjørner, M. Broy

Cover of Formal methods in programming and their applications

No description available.

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, Interpreters