| 000 |
|
01080nam0 2200253 450 |
| 001 |
|
012023140979 |
| 005 |
|
20230825131709.0 |
| 010 |
__ |
■a978-7-302-62690-9■dCNY39.00 |
| 100 |
__ |
■a20230825d2023 em y0chiy50 ea |
| 101 |
0_ |
■achi |
| 102 |
__ |
■aCN■b110000 |
| 105 |
__ |
■aa z 001yy |
| 106 |
__ |
■ar |
| 200 |
1_ |
■a函数式程序设计■b专著■f邓玉欣编著■9han shu shi cheng xu she ji |
| 210 |
__ |
■a北京■c清华大学出版社■d2023.07 |
| 215 |
__ |
■a114页■c图，照片■d26cm |
| 300 |
__ |
■a高等学校计算机专业系列教材 |
| 330 |
__ |
■a本书是一本介绍函数式程序设计理论的入门读物。在内容选取上，先以λ-演算作为背景知识，然后介绍Coq和OCaml的基本+...... |
| 333 |
__ |
■a本书适合作为普通高等院校计算机科学和软件工程专业的本科生教学参考书，同时也可作为软件理论方向研究人员的入门读物 |
| 606 |
0_ |
■a函数■j教材■x程序设计■x高等学校 |
| 690 |
__ |
■aTP311.1■v5 |
| 701 |
_0 |
■a邓玉欣■4编著■9deng yu xin |
| 801 |
_0 |
■aCN■b南昌职业大学图书馆■c20231126 |
| 905 |
|
■a南昌职业大学图书馆■dTP311.1/266 |
(共0票)
评价
