注册 | 登录读书好，好读书，读好书！
读书网-DuShu.com
当前位置： 首页出版图书科学技术计算机/网络软件与程序设计形式化框架下置换和查找类算法的组装生成

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

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

定　价：¥68.00

作　者： 石海鹤 著
出版社： 科学出版社
丛编项：
标　签： 计算机?网络 计算机期刊杂志

购买这本书可以去

ISBN： 9787030522139 出版时间： 2017-05-01 包装： 平装
开本： 32开 页数： 156 字数：  

内容简介

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

作者简介

暂缺《形式化框架下置换和查找类算法的组装生成》作者简介

图书目录

暂缺《形式化框架下置换和查找类算法的组装生成》目录

本目录推荐