MATHEMATICAL THEORY OF COMPUTATION

MATHEMATICAL THEORY OF COMPUTATION

A mathematical theory of computation, according to the formulation of Manna (Stanford U.), is a theory that "attempts to formalize our understanding of computation," and to place program verification on greater scientific footing. He looks at the theory and practice of computational verification techniques, keeping the underlying mathematical theory to a minimum. Chapters cover computability, predicate calculus, verification of programs, flowchart schemas, and the "fixpoint" theory of programs.
Editora: DOVER PUBLICATIONS
ISBN: 0486432386
ISBN13: 9780486432380
Número de Páginas: 464
Acabamento: PAPERBACK
Formato: 13.50 x 20.80 cm.
por R$ 70,00