麻省理工18年春软件构造课程阅读11“抽象函数与表示不变量”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。 由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文 ...
原文：麻省理工18年春软件构造课程阅读10“抽象数据类型”
本文内容来自MIT . sp : Software Construction课程的Readings部分，采用CC BY SA . 协议。 由于我们学校 哈工大 大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文的朋友。另外，该课程的阅读资料中有许多练习题，但是没有标准答案，所给出的 正确答案 均为译者所写，有错误的地方还请指出 ...
2018-03-29 00:48 0 947 推荐指数：
相关推荐
麻省理工18年春软件构造课程阅读12“接口与枚举”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。 由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文 ...
麻省理工18年春软件构造课程阅读04“代码评审”
本文内容来自MIT_6.031_sp18: Software Construction课程的Readings部分，采用CC BY-SA 4.0协议。 由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推荐的阅读材料之一，于是打算做一些翻译工作，自己学习的同时也能帮到一些懒得看英文 ...
麻省理工18年春软件构造课程阅读03“测试”
/licenses/by-sa/4.0/)协议。** 由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推 ...
麻省理工18年春软件构造课程阅读01“静态检查”
/licenses/by-sa/4.0/)协议。** 由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推 ...
麻省理工18年春软件构造课程阅读02“Java基础”
/licenses/by-sa/4.0/)协议。** 由于我们学校（哈工大）大二软件构造课程的大部分素材取自此，也是推 ...
【二】、什么是抽象数据类型
【二】、什么是抽象数据类型 前言 在上一篇【什么是数据结构】中我详细介绍了我对数据结构的理解，其实描述数据结构，有一个很好的方法叫抽象数据类型。下面我会详细介绍抽象数据类型。 抽象数据类型 抽象数据类型英文名叫(Abstract Data Type)，这里有两个关键词，一个叫“数据类型 ...
抽象数据类型
由标准类型派生的。例如，C/C++中的数组、结构等类型。 2.抽象数据类型（abstract da ...