: A more modern, affordable reprint was released by Dover Publications in 2003.
: Covers basic notions, natural deduction, and the resolution method. Program Verification : A more modern, affordable reprint was released
Manna’s work begins with the premise that programs are mathematical objects. To reason about them, one must define precise models. : A more modern
The text is well-known for its rigorous approach to "correctness": Google Books Computability theory : A more modern, affordable reprint was released
The primary goal of Manna’s work is the of computer programs. This involves proving that a program is correct relative to a specific mathematical description of its intended behavior.
: Explores functions, functionals, and recursive programs through the lens of mathematical fixpoints. Google Books Availability and Portable Formats