熱門搜尋
| 分類(單選) |
顯示所有篩選
|
|---|---|
| 配送方式(可複選) | |
| 其他(可複選) |
搜尋結果共 1 筆, 頁數 1 / 1
- 列表
- 小圖
呈現:
|
Program Logics for Certified Compilers
Separation Logic is the twenty-first-century variant of Hoare Logic that permits verification of poi... more |
搜尋推薦
另外從您輸入的關鍵字中，推薦您關鍵字: andrew w. 的結果(請點選看全部符合的商品)
-
旅館英語
優惠價: 95 折, 475 元 -
Business Ethics 2/e
優惠價: 95 折, 855 元 -
失聰者-心理、教育及社會轉變中的觀點
優惠價: 95 折, 428 元 -
聾人與社會：心理、社會及教育觀點
優惠價: 95 折, 523 元 -
-
