内容简介
本书结合软件形式化方法PAR, 将生成式程序设计思想引入到算法开发中来, 组装生成了典型的置换和查找类算法, 以及若干未见于现有文献的算法, 构建了具备相应生成能力的系统, 显著提高了两类算法的开发效率和可靠性, 可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
![[百度网盘]形式化框架下置换和查找类算法的组装生成 PDF](https://image12.bookschina.com/2017/20170902/B7493375.jpg)
搜索PDF电子书免费下载。读研，最重要的是能力的提升，而不是单纯的学习知识！
搜索PDF电子书免费下载。读研，最重要的是能力的提升，而不是单纯的学习知识！
本书结合软件形式化方法PAR, 将生成式程序设计思想引入到算法开发中来, 组装生成了典型的置换和查找类算法, 以及若干未见于现有文献的算法, 构建了具备相应生成能力的系统, 显著提高了两类算法的开发效率和可靠性, 可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
