![[!--oldtitle--] PDF电子书下载](/d/file/efpub/2026/09-12/32uc4ynxaky.jpg)
形式化构件装配的图算法生成
温馨提示：电子书为虚拟商品，一经发货概不退换，请谨慎购买。3小时内发货(节假日除外)，发货时效不超过24小时，急单慎拍！
内容简介
书名：形式化构件装配的图算法生成
作者：石海鹤，鄢梦恬著
ISBN：978-7-5493-8139-5
出版社：江西高校出版社
出版日期：2018.12
算法的可靠性和开发效率对于软件可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的一种重要途径。本研究以形式化方法PAR为基础，综合运用抽象、演绎、泛型等相关方法和机制，探索面向效率的算法演算法则、策略，对领域算法进行分析，对图论领域的典型算法进行了生成研究，不仅为提高图算法质量和开发效率提供有效的方法、技术和工具支持，构件组装的灵活性与可配置性也将为发现和产生新算法提供有效手段。
作者：石海鹤，鄢梦恬著
ISBN：978-7-5493-8139-5
出版社：江西高校出版社
出版日期：2018.12
算法的可靠性和开发效率对于软件可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的一种重要途径。本研究以形式化方法PAR为基础，综合运用抽象、演绎、泛型等相关方法和机制，探索面向效率的算法演算法则、策略，对领域算法进行分析，对图论领域的典型算法进行了生成研究，不仅为提高图算法质量和开发效率提供有效的方法、技术和工具支持，构件组装的灵活性与可配置性也将为发现和产生新算法提供有效手段。