汇总程序相关论文
对于ＦＯＸＰＲＯ语言设计的汇总程序，本文提出一个用于描述其正确性的形式化方法，作为示例，文中最后对汇总程序的核心部分给出了部分正确性验证过......
【正】彭兆笛同志1985年7月大学毕业后,被分配到贵州省统计局固定资产投资处工作。一年多来,他在改进微机程序的应用方面努力钻研,......
【正】1985年的工业统计年报与工业普查摘要表是一套表,省统计局领导决定我处负责这一套表的审核、汇总、上报任务.......
