![《形式化框架下置换和查找类算法的组装生成》[43M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/78719a0edb30a333.jpg "形式化框架下置换和查找类算法的组装生成")
形式化框架下置换和查找类算法的组装生成 pdf下载
限时特惠
00:00:00
活动结束后恢复原价
纸质书参考价
¥23
电子版限时价
¥5.99
省 18 元
选择版本
内容简介
本篇主要提供形式化框架下置换和查找类算法的组装生成电子书的pdf版本下载，本电子书下载方式为百度网盘方式，点击以上按钮下单完成后即会通过邮件和网页的方式发货，有问题请联系邮箱ebook666@outlook.com
内容简介
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型算法设计语言Radl及相关规约转换规则库、泛型抽象程序设计语言Apla、系统的算法和程序设计方法学及新型顺序软件开发平台组成。
![《对象代理数据库系统原理》[91M]百度网盘|pdf下载|亲测有效](/downpdf2/20240713/5d3d82e66d63e1ae.jpg)
![《非线性系统故障可诊断性评价与诊断方法》[91M]百度网盘|pdf下载|亲测有效](/downpdf2/20240713/c1a63d793c854fa6.jpg)
![《现代类型论的发展与应用》[45M]百度网盘|pdf下载|亲测有效](/downpdf2/20240713/0db46711151ac477.jpg)
![《算法竞赛入门经典-指南》[42M]百度网盘|pdf下载|亲测有效](/downpdf2/20240713/142489006690f3a3.jpg)