ENGLISH

Mathematical theory of computation

By Manna Z.

Book information

Publisher
McGH
Year
1974
ISBN
0070399107, 9780070399105
LCC
QA76.6 .M356
Open Library ID
OL5419658M
Language
english
Format
DJVU
Filesize
3 MB (3262926 bytes)
Series
Mcgraw-Hill Computer Science Series
Pages
459\459
Library
Kolxo3
DPI
600
Time added
2011-07-22 07:35:22

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