出版社:科学出版社
年代:2017
定价:68.0
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础,选取排序类和查找类算法作为研究的突破口,开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持,它由自定义泛型算法设计语言Radl及相关规约转换规则库、泛型抽象程序设计语言Apla、系统的算法和程序设计方法学及新型顺序软件开发平台组成。
书籍详细信息 | |||
书名 | 形式化框架下置换和查找类算法的组装生成站内查询相似图书 | ||
9787030522139 如需购买下载《形式化框架下置换和查找类算法的组装生成》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN | |||
出版地 | 北京 | 出版单位 | 科学出版社 |
版次 | 1版 | 印次 | 1 |
定价(元) | 68.0 | 语种 | 简体中文 |
尺寸 | 24 × 17 | 装帧 | 平装 |
页数 | 156 | 印数 |
石海鹤, 鄢梦恬, 著
李斌, 著
(美) 乔恩·克莱因伯格 (Jon Kleinberg) , (美) 伊娃·塔多斯, 著
陈小玉, 著
(美) 迈克尔 T. 古德里奇 (Michael T. Goodrich) , (美) 罗伯托·塔马西亚 (Roberto Tamassia) , 著
贾建华, 著
耿国华, 主编
邱莉榕, 胥桂仙, 翁域, 编著
王秋芬, 刘平, 杜娟, 著