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