研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。

研究抽象数据类型的规范说明对于实现面向对象的软件开发及程序证明等具有重要意义。的英文翻译

基本释义

• The study of specification for abstract datatype (ADT) is important in the development ofobject-oriented software and in program verification.