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

【文件属性】：

文件名称：计算机程序设计的公理依据

文件大小：643KB

文件格式：PDF

更新时间：2011-12-25 19:30:37

计算机 程序设计 理论依据 computer programming

计算机理论经典文档系列 An axiomatic basis for computer programming 计算机程序设计的公理依据(呵，中文名都是我胡乱译的)