購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2024年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
精确
模式”搜“
亚历山大·斯特潘诺夫Alexander
”共有
1
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
编程原本
『简体书』 作者：[美] 亚历山大·斯特潘诺夫[Alexander，Stepa 出版：人民邮电出版社 日期：2019-08-01 本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法，以及描述算法性质的引理和定理一起呈现给读者，以帮助读者将复杂系统分解为一些具有特定行为的组件。 本书适合软件开发人员和需要进行程序设计的科学家及工程师阅 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/1） 1 |