購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
登入帳戶
| 訂單查詢
| 購物車/收銀台(0) | 在線留言板
| 付款方式
| 運費計算
| 聯絡我們
| 幫助中心 |
加入書簽 |
||
 HOME 新書上架暢銷書架好書推介特價區會員書架精選月讀2023年度TOP分類瀏覽雜誌 |
臺灣用戶 |
 |
品種：超過100萬種各類書籍/音像和精品，正品正價，放心網購，悭钱省心 | 服務：香港／台灣／澳門／海外 | 送貨：速遞／郵局／服務站 |  |
在 大書城
以“
全文
模式”搜“
张广泉 著 著
”共有
2
结果：
|
同時支援繁體 / 正體 / 简体字輸入搜索 |
 |
形式化方法导论（第2版）
『简体书』 作者：张广泉 出版：清华大学出版社 日期：2023-03-01 形式化方法是软件工程专业的核心课程，但相关教材稀缺，本书弥补了这一空白，内容全面，适合教学。 ... |
詳情>> | |
 |
形式化方法导论
『简体书』 作者：张广泉 出版：清华大学出版社 日期：2015-12-01 形式化方法是指有严格数学基础的软件和系统开发方法，支持软件与系统的规约、设计、验证与演化等活动。随着软件可信需求的不断增长，形式化方法的重要性和关注度日益提高。 ... |
詳情>> | |
| >>> （頁碼:1/1 行數:20/2） 1 |
如果未能搜尋到意向中的書籍，可以參看：“找書說明” 或 “尋書登記服務”