TOP
0
0
【簡體曬書區】 單本79折,5本7折,活動好評延長至5/31,趕緊把握這一波!

縮小範圍


商品類型


簡體書 (1)

商品狀況


可訂購商品 (1)

庫存狀況


無庫存 (1)

商品定價


$400~$599 (1)

出版日期


2020~2021 (1)

裝訂方式


平裝 (1)

作者


(美)亞歷山大‧斯特潘諾夫、(美)保羅‧麥克瓊斯 (1)

出版社/品牌


人民郵電出版社 (1)

三民網路書店 / 搜尋結果

1筆商品,1/1頁
編程原本(簡體書)
滿額折

1.編程原本(簡體書)

作者:(美)亞歷山大‧斯特潘諾夫; (美)保羅‧麥克瓊斯  出版社:人民郵電出版社  出版日:2021/08/01 裝訂:平裝
本書將嚴格的數學定義、公理化和演繹方法應用於程序設計,討論程序與保證它們正確工作的抽象數學理論之間的聯繫。本書把理論的規程、基於這些規程寫出的算法,以及描述算法性質的引理和定理一起呈現給讀者,以幫助讀者將複雜系統分解為一些具有特定行為的組件。本書適合軟件開發人員和需要進行程序設計的科學家及工程師閱讀,也可供高等院校計算機及相關專業的師生參考。
定價:474 元, 優惠價:87 412
海外經銷商無庫存,到貨日平均30天至45天

暢銷榜

客服中心

收藏

會員專區