书籍简介:

本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型算法设计语言Radl及相关规约转换规则库、泛型抽象程序设计语言Apla、系统的算法和程序设计方法学及新型顺序软件开发平台组成。

书籍规格:

书籍详细信息
书名	形式化框架下置换和查找类算法的组装生成站内查询相似图书
	9787030522139 如需购买下载《形式化框架下置换和查找类算法的组装生成》pdf扫描版电子书或查询更多相关信息，请直接复制isbn,搜索即可全网搜索该ISBN
出版地	北京	出版单位	科学出版社
版次	1版	印次	1
定价(元)	68.0	语种	简体中文
尺寸	24 × 17	装帧	平装
页数	156	印数

全网搜索试读资源

书籍信息归属:

形式化框架下置换和查找类算法的组装生成是科学出版社于2017.5出版的中图分类号为 TP301.6 的主题关于算法设计的书籍。