Mathematical Theory of Computation 2024 pdf epub mobi 電子書 下載


Mathematical Theory of Computation

簡體網頁||繁體網頁

Mathematical Theory of Computation pdf epub mobi 著者簡介


Mathematical Theory of Computation pdf epub mobi 圖書描述

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.

Mathematical Theory of Computation 2024 pdf epub mobi 電子書 下載

Mathematical Theory of Computation pdf epub mobi 圖書目錄




點擊這裡下載
    


想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

發表於2024-12-28

Mathematical Theory of Computation 2024 pdf epub mobi 電子書 下載

Mathematical Theory of Computation 2024 pdf epub mobi 電子書 下載

Mathematical Theory of Computation 2024 pdf epub mobi 電子書 下載



喜欢 Mathematical Theory of Computation 電子書 的读者还喜欢


Mathematical Theory of Computation pdf epub mobi 讀後感

評分

評分

評分

評分

評分

類似圖書 點擊查看全場最低價
出版者:Dover Publications
作者:Zohar Manna
出品人:
頁數:464
譯者:
出版時間:2003-12
價格:$ 28.19
裝幀:
isbn號碼:9780486432380
叢書系列:Dover Books on Mathematics

圖書標籤: 計算機  計算理論、證明係統、形式語言  數學  TCS   


Mathematical Theory of Computation 2024 pdf epub mobi 電子書 下載
想要找書就要到 本本書屋
立刻按 ctrl+D收藏本頁
你會得到大驚喜!!

Mathematical Theory of Computation pdf epub mobi 用戶評價

評分

評分

評分

評分

評分

Mathematical Theory of Computation 2024 pdf epub mobi 電子書 下載


分享鏈接





相關圖書




本站所有內容均為互聯網搜索引擎提供的公開搜索信息,本站不存儲任何數據與內容,任何內容與數據均與本站無關,如有需要請聯繫相關搜索引擎包括但不限於百度google,bing,sogou

友情鏈接

© 2024 onlinetoolsland.com All Rights Reserved. 本本書屋 版權所有