| FindBook |
|
有 3 項符合
prover的圖書 |
 |
$ 865 電子書 | The Little Prover
作者：Daniel P. Friedman,Carl Eastlund 出版社：MIT Press 出版日期：2015-07-10 語言：英文  樂天KOBO - 電腦
- 來源網頁 |
 |
$ 3505 | The Verification of MDG Algorithms in the HOL Theorem Prover
作者：Abed 出版社：LAP Lambert Academic Publishing 出版日期：2009-10-13 語言：英文 規格：平裝 / 160頁 / 22.86 x 15.24 x 0.94 cm / 普通級/ 初版  博客來 - 電腦與週邊硬體
- 來源網頁  看圖書介紹
|
| |
$ 3299 | Isabelle: A Generic Theorem Prover
作者：Paulson 出版社：Springer 出版日期：1994-07-28 語言：英文 規格：平裝 / 329頁 / 23.39 x 15.6 x 1.85 cm / 普通級/ 初版 博客來 - 計算機概論
- 來源網頁 看圖書介紹
|
|
|
|
