close
Mathematical Theory of Computation物超所值
網友評鑑4.5顆星，真的很實用 一定要讓你知道
博客來電腦-程式語言分類站長推薦
想了解更多[Mathematical Theory of Computation]的介紹請點擊左邊圖片
點圖即可看詳細介紹
內容簡介
|
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.
|
美金：24.95元
本類書籍銷售 Top 5
全站熱搜
留言列表
