关注微信公众号查券更方便
软件工程形式化方法与语言/吴江琴 李莹
正版图书 软件开发的形式化方法古天龙高等教育出版社
【正版书包邮】软件工程形式化方法与语言李莹吴江琴浙江大学出版社
形式化方法理论及应用 华保健编著 中国科学技术大学一流规划教材书籍 中国科学技术大学出版社9787312058752
二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
【全2册】可视化微分几何和形式 +复分析可视化方法 微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍
正版包邮 领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等 编著 中国科大出版社 形式化方法 理论及应用
形式化方法:理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科学技术大学出版社
【全新正版】 软件工程形式化方法与语言 /教材//教材/大学教材 9787308066679
2024新书 形式化方法 理论及应用 华保健 研究生系列教材 信息计算机类 形式建模性质推理书 中国科学技术大学出版社9787312058752
标准化管理 第二版 舒辉 经济与管理精编教材管理科学与工程系列 标准化的形式方法 标准化原理 管理体系标准 北京大学出版社正版
软件工程形式化方法与语言(高等院校精品教
软件工程形式化方法与语言(高等院校精品教材)
【新华文轩】软件工程形式化方法与语言 吴江琴,李莹 著作 正版书籍 新华书店旗舰店文轩官网 浙江大学出版社
软件工程形式化方法与语言 吴江琴,李莹 著作 著 大学教材大中专 新华书店正版图书籍 浙江大学出版社
软件工程形式化方法与语言:吴江琴,李莹 著作 大中专公共计算机 大中专 浙江大学出版社 图书
【当当网正版书籍】软件工程形式化方法与语言
【当当网 正版书籍】软件工程形式化方法与语言
软件工程形式化方法与语言 新
形式化方法导论 第2版 清华大学出版社 张广泉 编
全新软件工程形式化方法与语言9787308066679吴江琴,李莹
形式化方法:理论及应用 博库网
形式化方法:理论及应用
形式化方法 理论及应用 大中专理科科技综合
形式化方法 理论及应用 华保健 编 大学教材大中专 新华书店正版图书籍 中国科学技术大学出版社
【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
新书现货 形式化方法:理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
形式化方法 理论及应用:华保健 编 大中专理科科技综合 大中专 中国科学技术大学出版社
软件工程形式化方法与语言吴江琴,李莹9787308066679浙江大学出版社
领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等编著 正版包邮 中国科大出版社 形式化方法 理论及应用
正版包邮领域专用计算结
正版现货 形式化方法 理论及应用 华保健 编 中国科学技术大学出版社 大学教材
标准化管理 第二版 舒辉 经济与管理精编教材管理科学与工程系列 标准化的形式方法 标准化原理 管理体系标准 北京大学旗舰店正版
【现货包邮】 软件工程形式化方法与语言 浙江大学出版社 新华书店正版书籍
【现货】软件工程形式化方法与语言李莹,吴江琴 编著9787308066679浙江大学出版社/教材/教辅//教材/大学教材
二手软件工程形式化方法与语言 李莹 浙江大学出版社
【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材
形式化方法导论 第2版 清华大学出版社 张广泉 编 全面讲解形式化方法,评为江苏省高等学校重点教材
形式化方清华大学出版社
形式化清华大学出版社
形式化方法导论(第2版) 张广泉 清华大学出版社
形式化方法导论(第2版) 张广泉 形式语言-高等学校-教材9787302626602 清华大学出版社全新正版
正版可视化微分几何和形式 复分析可视化方法 全2册 人民邮电出版社 微分几何微分形式可视化几何相对论常微分方程数学本科教材书
形式化方法导论(第2版)
形式化方法导论 第2版:张广泉 编 大中专文科社科综合 大中专 清华大学出版社 图书
官方2023形式化方法导论
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
形式化方法导论(第2版)张广泉
清华社直发 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材
形式化方法导论 第2版 张广泉 编 数学大中专 新华书店正版图书籍 清华大学出版社
现货正版:形式化方法导论(第2版)(高等学校软件工程专业系列教材)9787302626602清华大学
什么是数字史学汉努·萨尔米
什么是数字史学北京大学
【官方正版新书】形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材
可视化微分几何+复分析可视化
【2本套】复分析可视化方法+可视化微分几何和形式 图灵数学之美微积分微分几何可视化本科专科教材正版书籍
可视化微分几何和形式+复分析
【套装2册】可视化微分几何和形式:一部五幕数学正剧+复分析:可视化方法 图灵数学经典 (美)特里斯坦·尼达姆著 新华官网正版书籍
可视化微分几何和形凤凰新华
复分析:可视化方法+可视化微分几何和形式 人民邮电出版社 新华正版
【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-等学校-教材
【现】 形式化方法导论第二版 9787302626602 清华大学出版社7
可视化微分几何和形式+复分析可视化方法2册 [美]特里斯坦·尼达姆(Tristan Needham)|译者:刘伟安 人民邮电 【正版图书书籍】
【清华正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材
形式化方法导论 第2版:张广泉 编大中专文科社科综合大中专清华大学出版社
高考基础乐理解析音乐正版包邮
工业数据分析工程:基于CRISP-DM的形式化方法 田春华 工业大数据分析师必读田春华 解光耀 裴忠一 等数据库专业科技
正版图书 形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司
官网正版机械工业出版社
机械工业出版官网正版
嵌入式软件系统测试 基于形式化方法的自动化测试解决方案 1版,殷
【纸版图书】T/CIE130-2022区块链智能合约形式化设计与验证方法