内容简介：纳斯达克日前在职业社交网站LinkedIn发布招聘信息，招聘“对
以上就是本文的全部内容，希望本文的内容对大家的学习或者工作能带来一定的帮助，也希望大家多多支持 码农网
猜你喜欢:
- 区块链人才需求猛增 算法工程师走俏
- 月薪3W难聘优秀工程师，区块链人才断层如何追上？
- 网络工程师：抗ASIC挖矿或是错的，未来IP协议升级对大区块扩容有利
- 前端工程师如何成为全栈工程师?
- 从乙方工程师转为甲方工程师的一些思考
- 软件工程师VS硬件工程师的思维对比，说中你了吗？
本站部分资源来源于网络，本站转载出于传递更多信息之目的，版权归原作者或者来源机构所有，如转载稿涉及版权问题，请联系我们。
程序设计语言理论基础
米切尔 / 电子工业出版社 / 2006-11 / 68.00元
本书提出了一个框架，用于分析程序设计语言的语法、操作和语义性质，该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法，以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统，它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材，同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!
