机读格式显示(MARC)
- 000 00908nam0 2200265 450
- 010 __ |a 7-03-002854-6 |d CNY32.20
- 100 __ |a 19930216d1992 em y0chiy0110 ea
- 200 1_ |a 实用类型程序设计 |A Shi Yong Lei Xing Cheng Xu She Ji |9 shi yong lei xing cheng xu she ji |f 屈延文,邱续欣著
- 210 __ |a 北京 |c 科学出版社 |d 1992.8
- 330 __ |a 本书内容包括类型程序设计概念、类型函数的算法分析与设计、构造式类型程序设计、推导式类型程序设计、大型软件程序设计等。
- 517 1_ |a 类型程序设计 |9 lei xing cheng xu she ji
- 606 0_ |a 程序设计 |A Cheng Xu She Ji
- 701 _0 |a 屈延文 |A Qu Yan Wen |9 qu yan wen |4 著
- 701 _0 |a 邱续欣 |A Qiu Xu Xin |9 qiu xu xin |4 著
- 801 _0 |a CN |b 91MARC |c 20130904
- 905 __ |a WXCSXY |d TP311/307