程序设计语言理论基础-米切尔-isbn:9787121032240.pdf
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适
发布时间： 2024-04-01 12:13:54
文件大小： 共计 1 个文件
发布者： 
匿名用户
资源来源： book123
资源售价： 
8金币
会员所有资源免费
相似资源加载中...
2.获取资源后可以在「个人中心」48 小时内无理由退金币。
3.为防止资源链接失效，请及时转存文件。
以下文件快照生成于1 年前。（只展示部分的文件和文件夹）
📢：可能存在部分资源被网盘官方屏蔽。
全部文件 N/A
程序设计语言理论基础-米切尔-isbn:9787121032240.pdf N/A
请认真阅读以下说明，您只有在了解并同意该说明后，才可继续访问本站。
1. 全站链接通过程序自动收集互联网公开分享链接，本站不储存、复制、传播任何网盘文件，也不提供下载服务。
2. 资源精灵遵守相关法律法规，坚决杜绝一切违规不良信息，如您发现任何涉嫌违规的网盘信息，请立即向网盘官方网站举报，并及时反馈给我们进行屏蔽删除。同时您必须了解并同意本站《用户协议》，严禁搜索非法关键词。
3. 资源精灵高度重视知识产权保护和个人隐私保护，如有网盘链接侵犯您的合法权益，请立即向百度网盘官方网站举报，并参见本站《版权说明》提供书面材料联系我们屏蔽删改。
4. 资源精灵作为非经营性网站，所有服务仅供学习交流使用。
小提示：
- 本站会员获取资源无需消耗金币。
- 本站资源有很多，如果发现资源失效或者不符合预期，在页面上方的搜索框重新搜索相似的资源即可。
- 使用金币获取资源后可以在「个人中心」48 小时内无理由退金币。
- 为防止资源链接失效，请及时转存文件。
