有 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 | |
|
|
|
|
|
|