Opening book details…
About this book
Martin-Lof类型论程序设计导论 by (瑞典)Bengt Nordstrom等著;宋方敏译 is a book available to read on EtoBox.
- Author
- (瑞典)Bengt Nordstrom等著;宋方敏译
- Publisher
- 南京:南京大学出版社
- Published
- 2002
- Language
- ZH
More by (瑞典)Bengt Nordstrom等著;宋方敏译
Browse all works by (瑞典)Bengt Nordstrom等著;宋方敏译
Similar books
- Martin-Loef类型论程序设计导引 — (瑞典)诺德斯特龙(Nordstroem,B. )(著); (瑞典)彼得森(Petersson,K. )(著); (瑞典)史密斯(Smiss ,J. M. )(著); 宋方敏 (2002)
- Smalltalk 程序设计导论 — 美IBM公司,梅宏&黄柏素 译 (1998)
- 实用类型程序设计 — 屈延文, 邱续欣著; 屈延文; 邱续欣 (1992)
- 程序设计导论 — 陈承欢编著, Chen cheng huan, 陈承欢编著, 陈承欢 (2008)
- 并行程序设计导论 英文版 — (美)帕切克著 (2011)
- 面向对象程序设计导论 — 王申康,朱晓芸编著, 王申康, 朱晓芸编著, 王申康, 朱晓芸 (1995)