【正版书】 形式化方法导论 张广泉 清华大学出版社

新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店

【图灵数学书系任选】基础拓扑学矩阵计算复分析可视化方法概率论数学分析概论分析导论可视化微分几何形式沉思录线性代数及其应用

【单册任选】图灵数学经典书系 基础拓扑学 矩阵计算复分析可视化方法概率论数学分析概论分析导论可视化微分几何形式概率论沉思录

官网正版 芯片形式化验证原理、方法与实战 王亮 谭永亮 编著 以实践为导向，随书附赠示例代码 芯片设计 TCL SVA VC Formal

【正版】软件开发的形式化工程方法 结构化面向对象形式化 [日]刘少英

标准化管理 第二版 舒辉 经济与管理精编教材管理科学与工程系列 标准化的形式方法 标准化原理 管理体系标准 北京大学旗舰店正版

官网正版 精益管理理论与应用 蔺宇 齐二石 工业工程 丰田 技术体系 自动化 思想 文化 方法体系 布局设计 流动形式 准时化生产

【全2册】可视化微分几何和形式 +复分析可视化方法 微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍

【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社

形式化方法：理论及应用 博库网

【正版书】 软件开发的形式化方法 古天龙　编 高等教育出版社

【官方正版新书】 形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材

【正版书籍】 软件开发的形式化方法 古天龙　编 高等教育出版社

【正版书】 形式化方法导论 张广泉 清华大学出版社

【正版书】 形式化方法导论 张广泉 清华大学出版社

【正版书籍】 软件开发的形式化方法 古天龙　编 高等教育出版社

形式化方法 理论及应用 华保健 编 大学教材大中专 新华书店正版图书籍 中国科学技术大学出版社

形式化方法导论 第2版 张广泉 编 数学大中专 新华书店正版图书籍 清华大学出版社

工业数据分析工程 基于CRISP-DM的形式化方法 田春华 等 著 数据库专业科技 新华书店正版图书籍 机械工业出版社

【正版书籍】 形式化方法导论 张广泉 清华大学出版社

【正版书籍】 形式化方法导论 张广泉 清华大学出版社

【正版书籍】 形式化方法导论 张广泉 清华大学出版社

预订 Formal Methods for the Analysis of Biomedical Ontologies 生物医学本体分析的形式化方法: 9783031937750

预订 Formal Methods for Multi-Agent Feedback Control Systems 多智能体反馈控制系统的形式化方法: 9780262049719

海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法

海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16

海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五

【正版书籍】 软件开发的形式化方法 古天龙　编 高等教育出版社

海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面

海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:

【正版书】 形式化方法导论 张广泉 清华大学出版社

海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二

海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

海外直订Formal Methods for Software Engineering: Languages, Methods, Application Domains 软件工程的形式化方法:语言，方

海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他

海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:

海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何