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

啊啊月岛雯 28 0 PDF 2019-04-05 21:04:11

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

用户评论
请输入评论内容
评分:
Generic placeholder image 卡了网匿名网友 2019-04-05 21:04:11

这个资料很好,但看起来很难。