Mathematical theory of computation
Manna Z.
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.
Категорії:
Рік:
1974
Видавництво:
McGH
Мова:
english
Сторінки:
459
ISBN 10:
0070399107
ISBN 13:
9780070399105
Серії:
Mcgraw-Hill Computer Science Series
Файл:
DJVU, 3.11 MB
IPFS:
,
english, 1974