
Zohar Manna, "Mathematical Theory of Computation "
English | ISBN: 0070399107 | | 448 pages | DJVU | 3 MB
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.
Fikper
6f0tf.M.T.o.C.rar.html
Rapidgator
6f0tf.M.T.o.C.rar.html
NitroFlare
6f0tf.M.T.o.C.rar
Uploadgig
6f0tf.M.T.o.C.rar
Please Help Me Click Connect Icon Below Here and Share News to Social Network | Thanks you !
