同类推荐
-
-
快速上手豆包工作:让AI自动替你干完活
-
¥59.00
-
-
快速上手豆包工作:让AI自动替你干完活
-
¥59.00
-
-
快速上手豆包工作:让AI自动替你干完活
-
¥59.00
-
-
AI修图:产品精修+人像美化+虚拟写真+色调修正+瑕疵…
-
¥79.00
-
-
计算机网络技术基础
-
¥45.00
-
-
Photoshop网店美工实例教程:Photoshop…
-
¥69.80
-
-
Photoshop网店美工实例教程:Photoshop…
-
¥69.80
-
-
Photoshop网店美工实例教程:Photoshop…
-
¥69.80
-
-
嵌入式Linux系统开发21天速成:从基础开发到综合项…
-
¥119.00
-
-
嵌入式Linux系统开发21天速成:从基础开发到综合项…
-
¥119.00
|
|
图书信息
|
|
|
|
实用编程语言理论基础
|
| ISBN： | 9787111697404 |
定价： | ￥139.00 |
| 作者： | (美)罗伯特·哈珀(Robert Harper)著 |
出版社： | 机械工业出版社 |
| 出版时间： | 2022年03月 |
开本： | 26cm |
| 页数： | 14,385页 |
装祯： | 平装 |
中图法： | TP312 |
相关供货商
|
供货商名称
|
库存量
|
库区
|
更新日期
|
|
北京人天书店有限公司
|
17
|
库区7/样本7
|
2026-10-08
|
|
其它供货商库存合计
|
389
|
|
2026-10-07
|
图书简介 | | 本书提出了一种基于类型系统和结构操作语义的编程语言理论。第2版经过全面修订，几乎每章都包含习题，并新增一章讨论类型细化。本书涉及的概念厂泛，包括：基本数据类型，多态和抽象类型，动态定型，动态分派，子类型和类型细化，符号和动态分类，并行和成本语义，并发和分布。书中对不同编程语言的特性做了分析、证明和比较，所提供的方法可直接应用于语言的实现、程序推理逻辑的研发以及语言特性的形式化验证。 |
|