机读格式显示(MARC)
- 000 01197cam0 2200301 450
- 010 __ |a 978-7-306-07019-7 |b 精装 |d CNY68.00
- 100 __ |a 20210201d2020 em y0chiy50 ea
- 200 1_ |a 范畴论方法在计算机科学中的应用 |A fan chou lun fang fa zai ji suan ji ke xue zhong de ying yong |f 苗德成, 王朝阳, 刘新盛编著
- 210 __ |a 广州 |c 中山大学出版社 |d 2020
- 215 __ |a 160页 |c 图 |d 24cm
- 320 __ |a 有书目 (第146-156页) 和索引
- 330 __ |a 本书内容包括5章: 第1章从范畴论方法在计算机科学中应用角度介绍了本书研究所需的基本定义及其相关运算, 第2章讨论了范畴论方法在形式语言中的应用, 第3章讨论了范畴论方法在数据类型中的应用, 第4章讨论了范畴论方法在数据库系统中的应用, 第5章讨论了范畴论方法在共享系统数据模型中的应用。
- 606 0_ |a 范畴论 |A fan chou lun |x 应用 |x 计算机科学
- 701 _0 |a 苗德成, |A miao de cheng |f 1979- |4 编著
- 701 _0 |a 王朝阳 |A wang zhao yang |4 编著
- 701 _0 |a 刘新盛 |A liu xin sheng |4 编著
- 801 _0 |a CN |b 人天书店 |c 20210201
- 801 _2 |a CN |b PUL |c 20210604
- 905 __ |a SCNU |f TP3/4425