关注微信公众号查券更方便
机器证明：公理集论及分析基础的形式化
形式化构件装配的领域算法构造
几何代数的形式化与初步应用
形式化框架下置换和查找类算法的组装生成
【全新正版】形式化构件装配的领域算法构造 科学出版社 9787030668783 形式化构件装配的领域算法构造 形式化构件装配的领域算法构造
形式化方法导论
矩阵结构与矩阵函数的形式化
软件工程形式化方法与语言
形式化构件装配的领域算法构造 科学出版社
当天发货官方自】矩阵结构与矩阵函数的形式化
形式化框架下置换和查找类算法的组装生成【全新正版】
[京仓速发]形式化构件装配的领域算法构造
