《形式化框架下置换和查找类算法的组装生成》978-7-03-052213-9.pdf-石海鹤著-电子书下载-云上书馆

下载本书 下载格式： pdf格式 epub格式 接收邮箱(本功能测试中)： 分享给好友: 形式化框架下置换和查找类算法的组装生成; 作者：石海鹤著; 出版社：科学出版社; ISBN：978-7-03-052213-9; 出版年：2017

形式化框架下置换和查找类算法的组装生成简介

本书结合软件形式化方法PAR，将生成式程序设计思想引入到算法开发中来，组装生成了典型的置换和查找类算法，以及若干未见于现有文献的算法，构建了具备相应生成能力的系统，显著提高了两类算法的开发效率和可靠性，可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。

形式化框架下置换和查找类算法的组装生成电子版图书下载地址：