机读格式显示(MARC)

• 000 01040nam 2200265 450

• 001 0000493668

• 005 20241226152100.0

• 010 __ |a 978-7-302-62690-9 |d CNY39.00

• 100 __ |a 20241022d2023 em y0chiy50 ea

• 101 0_ |a chi

• 102 __ |a CN |b 110000

• 105 __ |a a a 001yy

• 106 __ |a r

• 200 1_ |a 函数式程序设计 |A han shu shi cheng xu she ji |f 邓玉欣编著

• 210 __ |a 北京 |c 清华大学出版社 |d 2023.07

• 215 __ |a 114页 |c 图 |d 26cm

• 225 2_ |a 高等学校计算机专业系列教材 |A gao deng xue xiao ji suan ji zhuan ye xi lie jiao cai

• 320 __ |a 有书目 (第112页) 和索引

• 330 __ |a 本书是一本介绍函数式程序设计理论的入门读物。在内容选取上, 先以λ-演算作为背景知识, 然后介绍Coq和OCaml的基本用法及其主要语言特征。本书的重点是介绍函数式程序设计的基本思想和方法, 让读者了解、欣赏, 进而喜欢函数式程序设计。

• 410 _0 |1 2001 |a 高等学校计算机专业系列教材

• 606 0_ |a 函数 |A han shu |x 程序设计 |x 高等学校 |j 教材

• 690 __ |a TP311.1 |v 5

• 701 _0 |a 邓玉欣 |A deng yu xin |4 编著

• 801 _0 |a CN |b 辽批 |c 20241022

• 905 __ |a AUSTL |d TP311.1/D936