Opening book details…
About this nonfiction
Martin-Loef类型论程序设计导引 by (瑞典)诺德斯特龙(Nordstroem,B. )(著);(瑞典)彼得森(Petersson,K. )(著);(瑞典)史密斯(Smiss ,J. M. )(著);宋方敏 is a nonfiction available to read on EtoBox.
It is typically read by self-directed learners exploring a subject in depth.
Common subject areas: history, science, philosophy, social sciences.
- Author
- (瑞典)诺德斯特龙(Nordstroem,B. )(著);(瑞典)彼得森(Petersson,K. )(著);(瑞典)史密斯(Smiss ,J. M. )(著);宋方敏
- Publisher
- 南京大学出版社·南京
- Published
- 2002
- Language
- ZH
- ISBN
- 9787305038327
- Category
- nonfiction