计算机程序设计的公理依据

【文件属性】：
文件名称：计算机程序设计的公理依据
文件大小：643KB
文件格式：PDF
更新时间：2011-12-25 19:30:37
计算机 程序设计 理论依据 computer programming 计算机理论经典文档系列 An axiomatic basis for computer programming 计算机程序设计的公理依据(呵，中文名都是我胡乱译的)