关注微信公众号查券更方便
软件工程形式化方法与语言/吴江琴 李莹
正版速发9787040160796 软件开发的形式化方法 古天龙 高等教育出版社 9787040160796 正版旧书 古天龙 编 高等教育出版社
正版现货9787040160796 软件开发的形式化方法 古天龙 高等教育出版社 9787040160796 正版旧书 古天龙 编 高等教育出版社
正版包邮9787040160796 软件开发的形式化方法 古天龙 高等教育出版社 9787040160796 正版旧书 古天龙 编 高等教育出版社
现货正版9787040160796 软件开发的形式化方法 古天龙 编 高等教育出版社
正版图书 软件开发的形式化方法古天龙高等教育出版社
【官方正版新书】 形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
【正版书包邮】软件工程形式化方法与语言李莹吴江琴浙江大学出版社
形式化方法导论 第2版 清华大学出版社 张广泉 编 全面讲解形式化方法，评为江苏省高等学校重点教材
二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
正版-形式化方法导论第二版清华大学9787302626602
形式化方清华大学出版社
【全2册】可视化微分几何和形式 +复分析可视化方法 微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍
正版包邮 领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等 编著 中国科大出版社 形式化方法 理论及应用
形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科学技术大学出版社
形式化方法导论（第2版） 张广泉 清华大学出版社
形式化方法导论（第2版） 张广泉 形式语言－高等学校－教材9787302626602 清华大学出版社全新正版
【全新正版】 软件工程形式化方法与语言 /教材//教材/大学教材 9787308066679
正版可视化微分几何和形式 复分析可视化方法 全2册 人民邮电出版社 微分几何微分形式可视化几何相对论常微分方程数学本科教材书
标准化管理 第二版 舒辉 经济与管理精编教材管理科学与工程系列 标准化的形式方法 标准化原理 管理体系标准 北京大学出版社正版
软件工程形式化方法与语言(高等院校精品教
软件工程形式化方法与语言(高等院校精品教材)
【新华文轩】软件工程形式化方法与语言 吴江琴，李莹 著作 正版书籍 新华书店旗舰店文轩官网 浙江大学出版社
软件工程形式化方法与语言 吴江琴，李莹 著作 著 大学教材大中专 新华书店正版图书籍 浙江大学出版社
软件工程形式化方法与语言：吴江琴，李莹 著作 大中专公共计算机 大中专 浙江大学出版社 图书
【当当网正版书籍】软件工程形式化方法与语言
【当当网 正版书籍】软件工程形式化方法与语言
软件工程形式化方法与语言 新
形式化方法导论（第2版）
形式化方法导论 第2版：张广泉 编 大中专文科社科综合 大中专 清华大学出版社 图书
官方2023形式化方法导论
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
清华社直发 形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
形式化方法导论 第2版 张广泉 编 数学大中专 新华书店正版图书籍 清华大学出版社
现货正版:形式化方法导论（第2版）（高等学校软件工程专业系列教材）9787302626602清华大学
【直发】软件工程形式化方法与语言
什么是数字史学汉努·萨尔米
什么是数字史学北京大学
【官方正版新书】形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
可视化微分几何+复分析可视化
【2本套】复分析可视化方法+可视化微分几何和形式 图灵数学之美微积分微分几何可视化本科专科教材正版书籍
可视化微分几何和形式+复分析
【套装2册】可视化微分几何和形式:一部五幕数学正剧+复分析:可视化方法 图灵数学经典 (美)特里斯坦·尼达姆著 新华官网正版书籍
可视化微分几何和形凤凰新华
复分析：可视化方法+可视化微分几何和形式 人民邮电出版社 新华正版
形式化方法导论 第2版 清华大学出版社 张广泉 编
形式化方法：理论及应用 博库网
形式化方法：理论及应用
【现】 形式化方法导论第二版 9787302626602 清华大学出版社7
形式化方法 理论及应用 大中专理科科技综合
形式化方法 理论及应用 华保健 编 大学教材大中专 新华书店正版图书籍 中国科学技术大学出版社
【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
形式化方法 理论及应用：华保健 编 大中专理科科技综合 大中专 中国科学技术大学出版社
可视化微分几何和形式+复分析可视化方法2册 [美]特里斯坦·尼达姆（Tristan Needham）|译者:刘伟安 人民邮电 【正版图书书籍】
【清华正版新书】 形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
软件工程形式化方法与语言吴江琴，李莹9787308066679浙江大学出版社
领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等编著 正版包邮 中国科大出版社 形式化方法 理论及应用
正版包邮领域专用计算结
正版现货 形式化方法 理论及应用 华保健 编 中国科学技术大学出版社 大学教材
标准化管理 第二版 舒辉 经济与管理精编教材管理科学与工程系列 标准化的形式方法 标准化原理 管理体系标准 北京大学旗舰店正版
形式化方法导论 第2版：张广泉 编大中专文科社科综合大中专清华大学出版社
形式化方法导论 第2版 9787302626602 清华大学出版社 ML
形式化方法导论 第2版：大中专文科社科综合大中专清华大学出版社
形式化方法 理论及应用 华保健 编 中国科学技术大学出版社
形式化方法 理论及应用：大中专理科科技综合大中专中国科学技术大学出版社
可视化微分几何和形式:一部五幕数学正剧(美)特里斯坦·尼达姆 著 刘伟安 译9787115611079自然科学/自然科学史/研究方法
正版 软件开发的形式化方法 9787040160796 高等教育出版社
形式化方法 理论及应用9787312058752中国科学技术大学图书
软件工程形式化方法与语言李莹，吴江琴9787308066679浙江大学图
形式化方法导论 第2版张广泉9787302626602清华大学图书
二手软件工程形式化方法与语言 李莹 浙江大学出版社
【全新正版】可视化微分几何和形式+复分析可视化方法2册
正版图书软件工程形式化方法与语言(高等院校精品教材)李莹//吴江琴浙江大学出版社9787308066679
【现货】软件工程形式化方法与语言吴江琴，李莹9787308066679浙江大学出版社/教材/教辅//教材/大学教材
【全新正版】 软件工程形式化方法与语言 9787308066679 /教材/教辅//教材/大学教材
【现货包邮】 软件工程形式化方法与语言 浙江大学出版社 新华书店正版书籍
【全新正版】 嵌入式软件系统测试：基于形式化方法的自动化测试解决方案 计算机/网络/计算机软件工程（新） 9787111672425
【出版社直供】 形式化方法导论 21世纪高等学校计算机专业实用规划教材 张广泉 清华大学出版社
嵌入式软件系统测试 基于形式化方法的自动化测试解决方案 9787111672425
【正版书】形式化方法导论 21世纪高等学校计算机专业实用规划教材 张广泉
