书馨卡帮你省薪
欢迎光临中图网 请 | 注册
> >>
形式化框架下置换和查找类算法的组装生成

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

作者:石海鹤著
出版社:科学出版社出版时间:2017-05-01
开本: 24cm 页数: 147页
本类榜单:自然科学销量榜
中 图 价:¥32.0(4.7折) 定价  ¥68.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
温馨提示:5折以下图书主要为出版社尾货,大部分为全新(有塑封/无塑封),个别图书品相8-9成新、切口
有划线标记、光盘等附件不全详细品相说明>>
本类五星书更多>

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

  • ISBN:9787030522139
  • 条形码:9787030522139 ; 978-7-03-052213-9
  • 装帧:暂无
  • 册数:暂无
  • 重量:暂无
  • 所属分类:>>

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

本书结合软件形式化方法PAR, 将生成式程序设计思想引入到算法开发中来, 组装生成了典型的置换和查找类算法, 以及若干未见于现有文献的算法, 构建了具备相应生成能力的系统, 显著提高了两类算法的开发效率和可靠性, 可望从方法学和实践上为特定领域高可靠算法的开发提供新思路。

商品评论(0条)
暂无评论……
书友推荐
本类畅销
编辑推荐
返回顶部
中图网
在线客服