【36.00】 函数式程序设计 邓玉欣 高等院校计算机科学或软件工程专业书 λ-演算 Coq OCaml 清华大学出版社 9787302 温馨提示: 正版保障 贴心售后 收藏商品 优先发货 部分书籍卖价高于定价 介者慎拍. 部分赠品赠完为止。