&扇 Abstract Data Type UNIVE 5 o ADT ▣Why,What 口How-代数方法 口从ADT到类 口类：模块和类型的统一 Institute of Computer Software 2022-2-27 Nanjing UniversityAbstract Data Type  ADT  Why，What  How – 代数方法  从ADT到类  类：模块和类型的统一 2022-2-27 Institute of Computer Software Nanjing University 5