形式化框架下置换和查找类算法的组装生成.pdf 算法的可靠性和开发效率对于软件的可信性及应用发展具有重要意义。算法自动化是提高算法开发效率、保证算法可靠性的重要途径。 置换和查找是计算机学科中的两类特殊问题，可应用算法设计策略的灵活性使其算法更具多样性，算法生成的自动化程度难以提高。本书结合软件形式化方法PAR， 叁号仓库 2022年07月16日 0 点赞 0 评论 4593 浏览
