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.
Recommend Download Link Hight Speed | Please Say Thanks Keep Topic Live
Fikper
6f0tf.M.T.o.C.rar.html
Download Rapidgator
6f0tf.M.T.o.C.rar.html
Download Nitroflare
6f0tf.M.T.o.C.rar
Download Uploadgig
6f0tf.M.T.o.C.rar
Links are Interchangeable - No Password - Single Extraction