形式化构件装配的图算法生成
作者： 石海鹤，鄢梦恬著
ISBN：978-7-5493-8139-5
关键词： 算法设计
页数：58
出版社： 南昌：江西高校出版社
出版日期：
发现《形式化构件装配的图算法生成》在 2025-10-28 可全文阅读或下载。
图书简介
算法的可靠性和开发效率对于软件可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的一种重要途径。本研究以形式化方法PAR为基础，综合运用抽象、演绎、泛型等相关方法和机制，探索面向效率的算法演算法则、策略，对领域算法进行分析，对图论领域的典型算法进行了生成研究，不仅为提高图算法质量和开发效率提供有效的方法、技术和工具支持，构件组装的灵活性与可配置性也将为发现和产生新算法提供有效手段。
用户须知
出版社通过教客网下载电子书并起诉站长多次，本站随时可能倒闭。
诉讼案号：（2022）川01民初4401，（2022）川01民初4403，（2022）川01民初4403，（2022）川0191民初19351号， （2022）川0191民初19594号，（2022）川0191民初20457号，（2022）川0191民初20459号， （2023）川知民终373号，（2023）川知民终374号，（2023）川知民终375号， （2024）川0191民初15977号，（2024）川0191民初15979号，（2024）川0191民初15980号， （2024）川0191民初15981号，（2024）川0191民初15982号
- 找《形式化构件装配的图算法生成》，去就近图书馆。
- 本页面文字内容和图片来自 m.5read.com。
- 封皮图片引用地址：https://cover.duxiu.com/coverNew/CoverNew.dll?iid=6f6c65686b6a6569696c5ca4a595ad97aa9ba8a397a8a13534303037383336