关注微信公众号查券更方便
新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
海外直订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 嵌入式分布式系统的形式化方法:如何
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:
海外直订Integrated Formal Methods 综合形式化方法
海外直订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 Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面向
海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践
海外直订Industrial Applications of Formal Methods to Model, Design and Analyze Computer 形式化方法在计算机系统建模
海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
海外直订Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg 分布式系统开发的形式化方法
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 1 基于开放对象的分布式系统的形式化方法：第1卷
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的形式化方法：第2卷
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视
海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系
海外直订Formal Methods and Object Technology 形式化方法与对象技术
【官方正版新书】形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法
海外直订The Way of Z: Practical Programming with Formal Methods z方法：用形式化方法进行实用编程
海外直订A Formal Approach to Discourse Anaphora 话语回指的形式化方法
海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式化方法
海外直订Formal Methods for Multicore Programming: 15th International School on Formal Me 多核编程的形式化方法：第15
海外直订Formal Methods for Dynamical Systems: 13th International School on Formal Method 动力系统的形式化方法：第13
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
海外直订NASA Formal Methods NASA形式化方法
海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际
海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法
海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证
海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法：BCS工作组的一份报告
海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法
海外直订Formal Methods for Web Services: 9th International School on Formal Methods for 服务的形式化方法:第九
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
二手书形式化方法导论张广泉清华大学出版社9787302411611
二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
工业数据分析工程：基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 等
【官方正版新书】 形式化方法导论（第2版） 张广泉 清华大学出版社 形式语言－高等学校－教材
形式化方法导论（第2版）
正版 工业数据分析工程 基于CRISP-DM的形式化方法 9787111759799 机械工业出版社
工业数据分析工程 基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 机械工业出版社9787111759799
正版图书 形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司
现代逻辑与形式化方法清华蔡曙山视频
【正版书】 形式化方法导论 张广泉 著 清华大学出版社
