形式化框架下置换和查找类算法的组装生成
1星价
¥32.0
(4.7折)
2星价￥32.0
定价￥68.0
温馨提示：5折以下图书主要为出版社尾货，大部分为全新（有塑封/无塑封），个别图书品相8-9成新、切口有划线标记、光盘等附件不全详细品相说明>>
暂无评论
图文详情
- ISBN：9787030522139
- 装帧：暂无
- 册数：暂无
- 重量：暂无
- 开本：24cm
- 页数：147页
- 出版时间：2017-05-01
- 条形码：9787030522139 ; 978-7-03-052213-9
内容简介
本书结合软件形式化方法PAR, 将生成式程序设计思想引入到算法开发中来, 组装生成了典型的置换和查找类算法, 以及若干未见于现有文献的算法, 构建了具备相应生成能力的系统, 显著提高了两类算法的开发效率和可靠性, 可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。
本类五星书
本类畅销
-
勒维特之星-大发现系列丛书
¥4.0¥16.0 -
喜马拉雅山珍稀鸟类图鉴
¥27.2¥68.0 -
昆虫的生存之道
¥12.2¥38.0 -
昆虫采集制作及主要目科简易识别手册
¥15.0¥50.0 -
古文诗词中的地球与环境事件
¥8.7¥28.0 -
声音简史
¥21.3¥52.0 -
不匹配的一对:动物王国的性别文化
¥16.7¥42.8 -
物理学之美-插图珍藏版
¥20.7¥69.0 -
现代物理学的概念和理论
¥18.4¥68.0 -
技术史入门
¥14.4¥48.0 -
几何原本
¥35.6¥93.6 -
改变世界的发现
¥15.4¥48.0 -
图说相对论(32开平装)
¥13.8¥46.0 -
数学的魅力;初等数学概念演绎
¥7.7¥22.0 -
星空探奇
¥14.0¥39.0 -
宇宙与人
¥10.5¥35.0 -
数学专题讲座
¥13.3¥29.0 -
袁隆平口述自传
¥19.9¥51.0 -
为了人人晓得相对论
¥3.9¥13.5 -
一代神话:哥本哈根学派
¥8.1¥15.5
