推荐书单 3.0:软件工程师蜕变之路

栏目: IT技术 · 发布时间: 5年前 · 64

每年年末都会将自己阅读过的觉得不错的书,整理一份清单并推荐。内容较杂,有技术、产品、社科、管理、心理学、认知成长等类型。跳转门:2017年-推荐书单1.0:测试工程师成长之路、20...

猜你喜欢:

本站部分资源来源于网络,本站转载出于传递更多信息之目的,版权归原作者或者来源机构所有,如转载稿涉及版权问题,请联系我们

程序设计语言理论基础

程序设计语言理论基础

米切尔 / 电子工业出版社 / 2006-11 / 68.00元

本书提出了一个框架,用于分析程序设计语言的语法、操作和语义性质,该框架基于称为类型化λ演算的数学系统。λ演算的主要特色是对于函数和其他可计算的值的一种记法,以及一个等式逻辑和用于表达式求值的一组规则。本书中最简单的系统是称为泛代数的一个等式系统,它可以用来公理化和分析通常用于程序设计的许多数据类型。可作为理论计算机科学、软件系统和数学专业的大学本科高年级或者研究生初始学习阶段的教材,同时也适合用于......一起来看看 《程序设计语言理论基础》 这本书的介绍吧!

图片转BASE64编码

图片转BASE64编码

在线图片转Base64编码工具

随机密码生成器

随机密码生成器

多种字符组合密码

HEX CMYK 转换工具

HEX CMYK 转换工具

HEX CMYK 互转工具