| FindBook |
|
有 1 項符合
2003 torino的圖書 |
 |
$ 3299 | Types for Proofs and Programs: International Workshop, Types 2003, Torino, Italy, April 30 - May 4, 2003, Revised Selected Papers
出版社：Springer 出版日期：2004-06-15 語言：英文 規格：平裝 / 412頁 / 23.39 x 15.6 x 2.21 cm / 普通級/ 初版  博客來 - 程式語言
- 來源網頁  看圖書介紹
|
|
|
評分：
|
