关注微信公众号查券更方便
2024新书 形式化方法 理论及应用 华保健 研究生系列教材 信息计算机类 形式建模性质推理书 中国科学技术大学出版社9787312058752
【新华文轩】嵌入式软件系统测试 基于形式化方法的自动化测试解决方案 正版书籍 新华书店旗舰店文轩官网 机械工业出版社
【新华文轩】形式化方法导论 第2版 正版书籍 新华书店旗舰店文轩官网 清华大学出版社
海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和形式化方法:第二
海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:
海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16
海外直订Integrated Formal Methods 综合形式化方法
海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五
海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法:面
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法:面向
正版包邮 领域专用计算 结构与应用 中国科学技术大学一流规划教材 王超 等 编著 中国科大出版社 形式化方法 理论及应用
新书现货 形式化方法:理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
正版包邮 工业数据分析工程 基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 9787111759799 机械工业出版
形式化方法导论(第2版)
海外直订Formal Methods in Automated Design Debugging 自动化设计调试中的形式化方法
海外直订Integration of Processes using Formal Methods 使用形式化方法集成过程
海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践
【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
海外直订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 语义学和语用学的形式化方法:日语及其他
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法
海外直订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 Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法
海外直订Formal Methods in Manufacturing Systems: Recent Advances 制造系统的形式化方法:最新进展
海外直订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卷
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程:一种形式化方法
海外直订The Way of Z: Practical Programming with Formal Methods z方法:用形式化方法进行实用编程
海外直订Formal Methods and Object Technology 形式化方法与对象技术
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
海外直订Industrial Applications of Formal Methods to Model, Design and Analyze Computer 形式化方法在计算机系统建模
二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
工业数据分析工程:基于CRISP-DM的形式化方法 田春华 工业大数据分析师必读田春华 解光耀 裴忠一 等数据库专业科技
工业数据分析工程:基于CRISP-DM的形式化方法
海外直订Formal Methods for Software Engineering: Languages, Methods, Application Domains 软件工程的形式化方法:语言,方
海外直订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 形式化方法:基础与应用
海外直订NASA Formal Methods NASA形式化方法
海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
海外直订Formal Methods and Software Engineering 形式化方法与软件工程“,
海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十
海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“,”
海外直订Software Engineering and Formal Methods 软件工程与形式化方法
海外直订Formal Methods and Software Engineering: 17th International Conference on Formal 形式化方法与软件工程:第17
海外直订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 反应系统的验证:形式化方法和算法
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用,验证
海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统:形式化方法和自动
海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第
海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法:第9
海外直订Formal Methods and Software Engineering 形式化方法与软件工程
海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10
海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:
海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法:Sefm
海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
海外直订Formal Methods for Executable Software Models: 14th International School on Form 可执行软件模型的形式化方法
海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法:BCS工作组的一份报告
海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四
海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法
海外直订Formal Methods for Software Engineering 软件工程的形式化方法
海外直订Formal Methods for Web Services: 9th International School on Formal Methods for 服务的形式化方法:第九
海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法
工业数据分析工程:基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 等
工业数据分析工程:基于CRISP-DM的形式化方法 田春华 工业大数据分析师田春华 解光耀 裴忠一 等 著9787111759799
【官方正版新书】 形式化方法导论(第2版) 张广泉 清华大学出版社 形式语言-高等学校-教材