关注微信公众号查券更方便
机械工业出版官网正版
海外直订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 分布式处理的形式化方法：面
海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面向
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法
海外直订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 持续时间演算:实时系统的形式化方法
海外直订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 工业应用的形式化方法:蒸汽
海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm
海外直订Formal Methods in Manufacturing Systems: Recent Advances 制造系统的形式化方法：最新进展
海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法
海外直订Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg 分布式系统开发的形式化方法
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 1 基于开放对象的分布式系统的形式化方法：第1卷
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的形式化方法：第2卷
海外直订The Way of Z: Practical Programming with Formal Methods z方法：用形式化方法进行实用编程
海外直订A Formal Approach to Discourse Anaphora 话语回指的形式化方法
海外直订Formal Methods and Object Technology 形式化方法与对象技术
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系
软件工程形式化方法与语言/吴江琴 李莹
新书现货 形式化方法：理论及应用 中国科学技术大学一流规划教材 华保健 编著 中国科大出版社旗舰店
形式化方法导论（第2版）
海外直订Formal Methods in Computer Science 计算机科学中的形式化方法
海外直订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
海外直订Industrial Applications of Formal Methods to Model, Design and Analyze Computer 形式化方法在计算机系统建模
海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用
海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法
海外直订NASA Formal Methods NASA形式化方法
海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十
海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，
海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”
海外直订Formal Methods and Software Engineering: 23rd International Conference on Formal 形式化方法与软件工程:第23
海外直订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 反应系统的验证：形式化方法和算法
海外直订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 and Software Engineering 形式化方法与软件工程
海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法：第9
海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机
海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第
海外直订Formal Methods for Components and Objects 组件和对象的形式化方法
海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法
海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:
海外直订Formal Methods for Trustworthy Computer Systems (Fm89): Report from Fm89: A Work 可信计算机系统的形式化方法
海外直订Software Engineering and Formal Methods: 10th International Conference, Sefm 201 软件工程和形式化方法:第10
海外直订Formal Methods for Software Architectures: Third International School on Formal 软件体系结构的形式化方法:
海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法
海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm
海外直订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 Systems Engineering 系统工程中的形式化方法
海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法
【新华正版】工业数据分析工程(基于CRISP-DM的形式化方法)/数字化工厂与智能制造丛书 田春华 机械工业
二手正版形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611
工业数据分析工程:基于CRISP-DM的形式化方法
【正版好书】软件开发的形式化方法 古天龙
工业数据分析工程：基于CRISP-DM的形式化方法 田春华 解光耀 裴忠一 等
工业数据分析工程 基于CRISP-DM的形式化方法
工业数据分析工程：基于CRISP-DM的形式化方法 田春华 工业大数据分析师田春华 解光耀 裴忠一 等 著97871117597992024-08-01
正版图书 软件开发的形式化方法古天龙高等教育出版社
正版图书 形式化方法在构件组装实时系统中的应用研究席琳马传连中央民族大学出版社有限责任公司
【全新正版】 形式化方法在构件组装实时系统中的应用研究 计算机/网络/软件工程 9787566016683
【全新正版】 软件工程形式化方法与语言 /教材/教辅//教材/大学教材 9787308066679
现代逻辑与形式化方法清华蔡曙山视频
【全新正版】 嵌入式软件系统测试：基于形式化方法的自动化测试解决方案 计算机/网络/计算机软件工程（新） 9787111672425
【正版书】 形式化方法导论 张广泉 著 清华大学出版社
【正版】形式化方法导论 21世纪高等学校计算机专业实用规划教材 张广泉
