-
形式化框架下置换和查找类算法的组装生成
¥32.0(4.7折)定价:¥68.0本书结合软件形式化方法PAR, 将生成式程序设计思想引入到算法开发中来, 组装生成了典型的置换和查找类算法, 以及若干未见于现有文献的算法, 构建了具备相应生成能力的系统, 显著提高了两类算法的开发效率和可靠性, 可望从方法学和实践上为特定领域高可靠算法的开发提供新思路...
五星书
浏览历史
-
乐高蝙蝠侠大电影:创意涂色互动游戏书2
¥8.0¥25.0 -
养老护理员培训教材
¥32.5¥59.0