作者: (德)托比亚斯·尼普科夫(TobiasNipkow),(英)劳伦斯·鲍尔森(LawrenceC.Paulson),(德)玛尔库斯·温泽尔(MarkusWenzel)著 出版: 北京:北京理工大学出版社 页数: 254    ✅ 真实服务 非骗流量  ❤️ 出版时间: 2013.05 (求助前请核对清楚) 求助编号:9 13421167 0 (学习资料 勿作它用) 求助格式:PDF(无水印/扫描版)我要投诉 重要说明:求助即说明同意《文件求助条款》   Word/doc、ePubb、mobi、PPT、TXT
  • 本书分基本技巧、逻辑与集合、高级材料三部分,内容包括:基础、HOL中的函数编程、高级函数式编程、游戏规则、集合递归定义等。

    提示:百度云已更名为百度网盘(百度盘),天翼云盘、微盘下载地址……暂未提供。