形式化构件装配的图算法生成
暂无封面,等待上传

形式化构件装配的图算法生成

石海鹤, 鄢梦恬, 著

出版社:江西高校出版社

年代:2018

定价:29.8

书籍简介:

算法的可靠性和开发效率对于软件可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的一种重要途径。 本研究以形式化方法PAR为基础,综合运用抽象、演绎、泛型等相关方法和机制,探索面向效率的算法演算法则、策略,对领域算法进行分析,对图论领域的典型算法进行了生成研究,不仅为提高图算法质量和开发效率提供有效的方法、技术和工具支持,构件组装的灵活性与可配置性也将为发现和产生新算法提供有效手段。

书籍规格:

书籍详细信息
书名形式化构件装配的图算法生成站内查询相似图书
9787549381395
如需购买下载《形式化构件装配的图算法生成》pdf扫描版电子书或查询更多相关信息,请直接复制isbn,搜索即可全网搜索该ISBN
出版地南昌出版单位江西高校出版社
版次1版印次1
定价(元)29.8语种简体中文
尺寸17 × 24装帧平装
页数印数

书籍信息归属:

形式化构件装配的图算法生成是江西高校出版社于2018.12出版的中图分类号为 TP301.6 的主题关于 算法设计 的书籍。