香港·大書城 -- megBook Book Store -- 香港書城,香港網上書店

	登入帳戶　 \|　訂單查詢　 \|　購物車/收銀台(0)　\|　在線留言板　 \|　付款方式　 \|　運費計算　 \|　聯絡我們　 \|　幫助中心　\|　加入書簽
		會員登入新用戶登記

HOME

新書上架

臺灣用戶

品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心

服務：香港／台灣／澳門／海外

送貨：速遞／郵局／服務站

在 大書城 以“ 精确模式”搜“ 亚历山大·斯特潘诺夫Alexander ”共有 1 结果：

同時支援繁體 / 正體 / 简体字輸入搜索

	编程原本『简体书』作者：[美] 亚历山大·斯特潘诺夫[Alexander，Stepa　　出版：人民邮电出版社　　日期：2019-08-01 本书将严格的数学定义、公理化和演绎方法应用于程序设计，讨论程序与保证它们正确工作的抽象数学理论之间的联系。本书把理论的规程、基于这些规程写出的算法，以及描述算法性质的引理和定理一起呈现给读者，以帮助读者将复杂系统分解为一些具有特定行为的组件。本书适合软件开发人员和需要进行程序设计的科学家及工程师阅读，也可供高等院校计 ...	詳情>>	售價：HK$ 130.4

>>> （頁碼:1/1　行數:20/1） 1

如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”

書城介紹　 \|　合作申請　\|　索要書目　 \|　新手入門　\|　聯絡方式　 \|　幫助中心　\|　找書說明　 \|　送貨方式　\|　付款方式	香港用户　 \|　台灣用户　\|　海外用户

	megBook.com.hk
Copyright © 2013 - 2025 （香港）大書城有限公司　 All Rights Reserved.