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

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

作者:石海鹤著
出版社:科学出版社出版时间:2017-05-01
开本: 24cm 页数: 147页
本类榜单:自然科学销量榜
中 图 价:¥47.6(7.0折) 定价  ¥68.0 登录后可看到会员价
加入购物车 收藏
运费6元,满39元免运费
?新疆、西藏除外
本类五星书更多>
微信公众号

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

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

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

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

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