Formal methods in programming and their applications
by D. Bjørner, M. Broy
Formal methods (Computer science)Computer programmingMathematical Logic and Formal LanguagesSoftware engineeringAlgebraSymbolic and Algebraic ManipulationComputer ScienceLogic design
Writing a summary for young readers…
For young readers
Book data: Open Library