关注微信公众号查券更方便
新书现货 形式化方法:理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
正版包邮 领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等 编著 中国科大出版社 形式化方法 理论及应用
机械工业出版官网正版
海外直订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 分布式处理的形式化方法:面向
【新华文轩】形式化方法 理论及应用 正版书籍 新华书店旗舰店文轩官网 中国科学技术大学出版社
海外直订Formal Methods in Automated Design Debugging 自动化设计调试中的形式化方法
海外直订Integration of Processes using Formal Methods 使用形式化方法集成过程
海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法:日语及其他
海外直订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 嵌入式分布式系统的形式化方法:如何
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为和系统
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法
海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法
海外直订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卷
海外直订The Way of Z: Practical Programming with Formal Methods z方法:用形式化方法进行实用编程
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系
海外直订Formal Methods and Object Technology 形式化方法与对象技术
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
海外直订Industrial Applications of Formal Methods to Model, Design and Analyze Computer 形式化方法在计算机系统建模
海外直订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 形式化方法:基础与应用
海外直订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 人工智能中的形式化方法
海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证:形式化方法和算法
海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统:形式化方法和自动
海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用,验证
海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
海外直订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 Human-Computer Interaction 人机交互中的形式化方法
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
工业数据分析工程:基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 等
形式化方法
团购优惠 形式化方法导论(第2版)张广泉9787302626602清华大学出版社
【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材
正版图书 形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司