名称:
描述:
公开/私有: 公开 私有
标题:
描述:
公开/私有: 公开 私有
检索词: 正确性 , 检索到: 154 条结果, 检索时间: 0.037 秒 , 排序选项: 排序方式: 隐藏分类导航 | 隐藏趋势图


保存至书单:
1.
程序正确性证明方法
著者: 武斌
出版社: 上海财经大学出版社   出版日期: 2018.12
文献类型: 图书 , 索书号:
2.
著者: 曾秋甫
出版社: 学位论文·硕士   出版日期: 2014
文献类型: 学位论文 , 索书号: 2014-TP31/239
3.
程序设计方法学 已借84次.
出版社: 国防工业出版社   出版日期: 2003.1
文献类型: 图书 , 索书号: 73.9611/HZG2
4.
著者: 彭立
出版社: 学位论文·硕士   出版日期: 2013
文献类型: 学位论文 , 索书号: 2013-TP3/2
5.
程序设计方法学引论 已借15次.
出版社: 华中理工大学出版社   出版日期: 1989.12
文献类型: 图书 , 索书号: 73.8702/TBL
6.
结构化程序设计方法
出版社: 大连海运学院出版社   出版日期: 1988.7
文献类型: 图书 , 索书号: 73.8702/TAS
7.
著者: 王国光
出版社: 中国电力出版社   出版日期: 2005
文献类型: 图书 , 索书号: TM645.2/7
8.
软件重构技术研究
出版社: 北京理工大学出版社   出版日期: 2016
文献类型: 图书 , 索书号: TP311.52/321
9.
时空与相对论 已借1次.
著者: 李颂
出版社: 西安电子科技大学出版社   出版日期: 2015
文献类型: 图书 , 索书号: O412.1/57
10.
出版社: 经济科学出版社   出版日期: 2013.0599999999999
文献类型: 图书 , 索书号: