ENGLISH

Mathematical Theory of Computation

By Zohar Manna

Book information

Publisher
Mcgraw-Hill College
Year
1974
ISBN
0070399107
Language
english
Format
DJVU
Filesize
3 MB (3368990 bytes)
Series
Mcgraw-Hill Computer Science Series
Pages
459\459
DPI
600
Time added
2011-01-06 10:13:16

Description

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.

Similar books