MARC状态：审校 文献类型：中文图书 浏览次数：61
- 题名/责任者:
- 形式化框架下置换和查找类算法的组装生成/石海鹤著
- 出版发行项:
- 北京:科学出版社,2017
- ISBN及定价:
- 978-7-03-052213-9/CNY68.00
- 载体形态项:
- 147页:图;24cm
- 个人责任者:
- 石海鹤 著
- 学科主题:
- 算法设计
- 中图法分类号:
- TP301.6
- 一般附注:
- 江西师范大学博士文库专项资助成果
- 书目附注:
- 有书目 (第136-144页)
- 提要文摘附注:
- 本书结合软件形式化方法PAR，将生成式程序设计思想引入到算法开发中来，组装生成了典型的置换和查找类算法，以及若干未见于现有文献的算法，构建了具备相应生成能力的系统，显著提高了两类算法的开发效率和可靠性，可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
全部MARC细节信息>>
9楼南电信软件工程借阅室