MARC状态：审校 文献类型：中文图书 浏览次数：69
- 题名/责任者:
- 形式化框架下置换和查找类算法的组装生成/石海鹤著
- 出版发行项:
- 北京:科学出版社,2017
- ISBN及定价:
- 978-7-03-052213-9/CNY68.00
- 载体形态项:
- 147页;24cm
- 个人责任者:
- 石海鹤 著
- 学科主题:
- 算法设计
- 中图法分类号:
- TP301.6
- 一般附注:
- 江西师范大学博士文库专项资助成果
- 提要文摘附注:
- 本书结合软件形式化方法PAR，将生成式程序设计思想引入到算法开发中来，组装生成了典型的置换和查找类算法，以及若干未见于现有文献的算法，构建了具备相应生成能力的系统，显著提高了两类算法的开发效率和可靠性，可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
全部MARC细节信息>>
| 索书号 | 条码号 | 年卷期 | 馆藏地 | 书刊状态 |
| TP301.6/134 | 72142294 | - |  自然书库（3F东）
|
可借 |
| TP301.6/134 | 72142295 | - | 自然书库（3F东）
|
可借 |
显示全部馆藏信息
CADAL相关电子图书
借阅趋势
同名作者的其他著作(点击查看)
收藏到： 管理书架