Descarga gratuita de libros epub para móvil Mathematical Theory of Computation 9780486432380

Mathematical Theory of Computation

Mathematical Theory of Computation

by Zohar Manna

Editorial: Dover Publications
ISBN: 9780486432380
Número de páginas: 464
Formatos: pdf, ePub, mobi, fb2
Tamaño de archivo: 12 Mb
Fecha de publicación: 2020-09-26
DESCARGAR

Descripción

With the objective of making into a science the art of verifying computer programs (debugging), the author addresses both practical and theoretical aspects. Subjects include computability (with discussions of finite automata and Turing machines); predicate calculus; verification of programs (bloth flowchart and algol-like programs); flowchart schemas; and the fixpoint theory of programs. 1974 edition. Includes 77 figures.