形式化框架下置换和查找类算法的组装生成
|
形式化框架下置换和查找类算法的组装生成作者：石海鹤著 开 本：24cm 书号ISBN：9787030522139 定价：68.0 出版时间：2017-05-01 出版社：科学出版社 |
形式化框架下置换和查找类算法的组装生成 内容简介
本书结合软件形式化方法PAR, 将生成式程序设计思想引入到算法开发中来, 组装生成了典型的置换和查找类算法, 以及若干未见于现有文献的算法, 构建了具备相应生成能力的系统, 显著提高了两类算法的开发效率和可靠性, 可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
自然科学 数学 数学理论
在线阅读
- 最新内容
- 相关内容
- 网友推荐
- 图文推荐
零零教育社区：论坛热帖子
| [家长教育] 孩子为什么会和父母感情疏离？ (2019-07-14) |
| [教师分享] 给远方姐姐的一封信 (2018-11-07) |
| [教师分享] 伸缩门 (2018-11-07) |
| [教师分享] 回家乡 (2018-11-07) |
| [教师分享] 是风味也是人间 (2018-11-07) |
| [教师分享] 一句格言的启示 (2018-11-07) |
| [教师分享] 无规矩不成方圆 (2018-11-07) |
| [教师分享] 第十届全国教育名家论坛有感（二） (2018-11-07) |
| [教师分享] 贪玩的小狗 (2018-11-07) |
| [教师分享] 未命名文章 (2018-11-07) |
