![《形式化框架下置换和查找类算法的组装生成》[43M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/78719a0edb30a333.jpg "形式化框架下置换和查找类算法的组装生成")
形式化框架下置换和查找类算法的组装生成 pdf下载
8.99￥
10.99￥
内容简介
本篇主要提供形式化框架下置换和查找类算法的组装生成电子书的pdf版本下载，本电子书下载方式为百度网盘方式，点击以上按钮下单完成后即会通过邮件和网页的方式发货，有问题请联系邮箱ebook666@outlook.com
内容简介
本书以前期研究形成的支持程序开发全过程的形式化方法PAR为基础，选取排序类和查找类算法作为研究的突破口，开展了形式化方法制导下的算法程序自动化的研究。PAR为算法程序自动化提供了有力支持，它由自定义泛型算法设计语言Radl及相关规约转换规则库、泛型抽象程序设计语言Apla、系统的算法和程序设计方法学及新型顺序软件开发平台组成。
![《小时轻松掌握：双核、Vista电脑组装与维护》[86M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/58ffee3c-bad5-4e6d-b986-1529203ff7b9.jpg)
![《北航嵌入式实时操作系统μC》[48M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/bc3fcf934397b8b7.jpg)
![《人工智能：智能制造北方城》[44M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/2024-01-20/59a872ffdf6d6304.jpg)
![《NCT全国青少年编程能力等级测试教程：图形化编程二级程能力等级测试教程编委会》[88M]百度网盘|pdf下载|亲测有效](/downpdf2/uploads/s1/f51e5e6f042e1873.jpg)