扫一扫
关注中图网
官方微博
本类五星书更多>
-
>
全国计算机等级考试最新真考题库模拟考场及详解·二级MSOffice高级应用
-
>
决战行测5000题(言语理解与表达)
-
>
软件性能测试.分析与调优实践之路
-
>
第一行代码Android
-
>
C Primer Plus 第6版 中文版
-
>
深度学习
-
>
MATLAB计算机视觉与深度学习实战-赠在线交流卡和本书源码
类型和程序设计语言 版权信息
- ISBN：7121011492
- 条形码：9787121011498 ; 978-7-121-01149-8
- 装帧：简裝本
- 册数：暂无
- 重量：暂无
- 所属分类：>
类型和程序设计语言 本书特色
类型是计算机程序语言的酵母，若少了它，程序难以被计算机消化。这本优秀的图书集应用、理论和实现为一体，通
类型和程序设计语言 内容简介
类型理论在程序设计语言的发展中起着举足轻重的作用，成熟的类型系统可以帮助完善程序设计本身，帮助运行系统检查
类型和程序设计语言 目录
第1章引论
1.1计算机科学中的类型
1.2类型系统的优点
1.3类型系统和语言设计
1.4历史概
1.1计算机科学中的类型
1.2类型系统的优点
1.3类型系统和语言设计
1.4历史概
展开全部
书友推荐
- >
二体千字文
二体千字文
¥16.0¥40.0 - >
莉莉和章鱼
莉莉和章鱼
¥16.0¥42.0 - >
月亮虎
月亮虎
¥19.7¥48.0 - >
山海经
山海经
¥20.4¥68.0 - >
人文阅读与收藏·良友文学丛书:一天的工作
人文阅读与收藏·良友文学丛书:一天的工作
¥16.0¥45.8 - >
伊索寓言-世界文学名著典藏-全译本
伊索寓言-世界文学名著典藏-全译本
¥6.1¥19.0 - >
随园食单
随园食单
¥20.6¥48.0 - >
月亮与六便士
月亮与六便士
¥13.4¥42.0
本类畅销
-
数学之美
¥48.3¥69 -
浪潮之巅-下册-第二版
¥22.1¥45 -
挑战程序设计竞赛(第2版)
¥55.3¥79 -
算法竞赛入门经典-(第2版)
¥34.9¥49.8 -
2022图书×抽奖盲袋
¥9.9¥25 -
2023读书月阅读盲盒——天黑，闭眼，刀谁？
¥42.3¥158
