计算机程序设计的公理依据 下载 啊啊月岛雯 28 0 PDF 2019-04-05 21:04:11 计算机理论经典文档系列 An axiomatic basis for computer programming 计算机程序设计的公理依据(呵,中文名都是我胡乱译的) 立即下载 微信扫一扫:分享 微信里点“发现”,扫一下 二维码便可将本文分享至朋友圈。