有 1 項符合
Types for Proofs and Programs: International Workshop Types ’93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
的圖書
|
 |
| Types for Proofs and Programs: International Workshop Types ’93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
作者：編者：Barendregt
出版社：Springer
出版日期：1994-05-20
語言：英文 規格：平裝 / 395頁 / 23.39 x 15.6 x 2.13 cm / 普通級/ 初版
| 圖書介紹 - 資料來源：博客來 目前評分： 評分：
圖書名稱：Types for Proofs and Programs: International Workshop Types ’93, Nijmegen, the Netherlands, May 24 - 28, 1993. Selected Papers
詳細資料
- ISBN：9783540580850
- 規格：平裝 / 395頁 / 23.39 x 15.6 x 2.13 cm / 普通級 / 初版
- 出版地：美國
|
|
|
|
|
 | 作者：夜纖雪 出版社：東佑文化事業有限公司 出版日期：2023-11-22 66折： $ 178 |  | 66折： $ 792 |  | 66折： $ 263 |  | 66折： $ 251 | |
|
|
 | 作者：龍幸伸 出版社：東立出版社 出版日期：2026-06-10 $ 209 |  | 作者：吉井ハルアキ 出版社：尖端出版 出版日期：2026-06-09 $ 136 |  | 作者：つるいとと 出版社：青文出版社股份有限公司 出版日期：2026-06-04 $ 142 |  | 作者：ダヨオ 出版社：尖端出版 出版日期：2026-06-12 $ 127 | |
|
|
 | 作者：迫稔雄 出版社：尖端出版 出版日期：2026-06-17 $ 224 |  | 作者：古澤エノ 出版社：長鴻出版社股份有限公司 出版日期：2026-06-23 $ 680 | | | 作者：薄井いろは 出版社：長鴻出版社股份有限公司 出版日期：2026-06-05 $ 165 |  | 作者：胡妙芬 出版社：親子天下股份有限公司 出版日期：2026-06-04 $ 300 | |
|
|
|
|
|
|
博客來