形式化方法
首页
形式化方法
形式化
形式化分析与验证
形式语言与自动机理论引论
形式语言
软件可靠性方法
形式化方法热销推荐
综合
销量
价格
评价数
￥635
162人付款
海外直订Software Engineering and Formal Methods: 20th International Conference, Sefm 202 软件工程和
形式化方法
:第二
中华商务图书专营店
广东 佛山
￥639
107人付款
海外直订Formal Methods and Software Engineering: 16th International Conference on Formal
形式化方法
与软件工程:第16
中华商务图书专营店
广东 佛山
￥639
174人付款
海外直订Integrated Formal Methods 综合
形式化方法
中华商务图书专营店
广东 佛山
￥639
159人付款
海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的
形式化方法
:第五
中华商务图书专营店
广东 佛山
￥647
109人付款
海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和
形式化方法
中华商务图书专营店
广东 佛山
￥656
39人付款
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的
形式化方法
：面
中华商务图书专营店
广东 佛山
￥1550
172人付款
海外直订A Formal Approach to Hardware Design 硬件设计的
形式化方法
中华商务图书专营店
广东 佛山
￥665
14人付款
海外直订Formal Methods in Automated Design Debugging 自动化设计调试中的
形式化方法
中华商务图书专营店
广东 佛山
￥665
31人付款
海外直订Integration of Processes using Formal Methods 使用
形式化方法
集成过程
中华商务图书专营店
广东 佛山
￥943
133人付款
海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的
形式化方法
中华商务图书专营店
广东 佛山
￥1908
160人付款
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的
形式化方法
和模型:系统级视
中华商务图书专营店
广东 佛山
￥1908
105人付款
海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的
形式化方法
和模型:系统级视
中华商务图书专营店
广东 佛山
￥1649
48人付款
海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的
形式化方法
：面向
中华商务图书专营店
广东 佛山
￥1024
119人付款
海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的
形式化方法
中华商务图书专营店
广东 佛山
￥1033
9人付款
海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的
形式化方法
：日语及其他
中华商务图书专营店
广东 佛山
￥1033
184人付款
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的
形式化方法
:
中华商务图书专营店
广东 佛山
￥1033
78人付款
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的
形式化方法
中华商务图书专营店
广东 佛山
￥1033
90人付款
海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的
形式化方法
:如何
中华商务图书专营店
广东 佛山
￥1033
132人付款
海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的
形式化方法
中华商务图书专营店
广东 佛山
￥1033
147人付款
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用
形式化方法
在行为和系统
中华商务图书专营店
广东 佛山
￥1033
57人付款
海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的
形式化方法
:蒸汽
中华商务图书专营店
广东 佛山
￥1665
180人付款
海外直订Industrial-Strength Formal Methods in Practice 工业强度
形式化方法
的实践
中华商务图书专营店
广东 佛山
￥1048
161人付款
海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与
形式化方法
。Sefm
中华商务图书专营店
广东 佛山
￥2024
78人付款
海外直订Formal Methods in Manufacturing Systems: Recent Advances 制造系统的
形式化方法
：最新进展
中华商务图书专营店
广东 佛山
￥2057
66人付款
海外直订Formal Methods Applied to Complex Systems 复杂系统的
形式化方法
中华商务图书专营店
广东 佛山
￥1757
55人付款
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的
形式化方法
中华商务图书专营店
广东 佛山
￥1757
117人付款
海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的
形式化方法
中华商务图书专营店
广东 佛山
￥2067
172人付款
海外直订Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg 分布式系统开发的
形式化方法
中华商务图书专营店
广东 佛山
￥2067
171人付款
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 1 基于开放对象的分布式系统的
形式化方法
：第1卷
中华商务图书专营店
广东 佛山
￥2067
121人付款
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种
形式化方法
中华商务图书专营店
广东 佛山
￥2067
191人付款
海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种
形式化方法
中华商务图书专营店
广东 佛山
￥2067
134人付款
海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的
形式化方法
：第2卷
中华商务图书专营店
广东 佛山
￥745
29人付款
海外直订The Way of Z: Practical Programming with Formal Methods z方法：用
形式化方法
进行实用编程
中华商务图书专营店
广东 佛山
￥775
167人付款
海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的
形式化方法
:
中华商务图书专营店
广东 佛山
￥461
94人付款
海外直订A Formal Approach to Discourse Anaphora 话语回指的
形式化方法
中华商务图书专营店
广东 佛山
￥1193
133人付款
海外直订Formal Methods and Object Technology
形式化方法
与对象技术
中华商务图书专营店
广东 佛山
￥1193
8人付款
海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用
形式化方法
在行为级和系
中华商务图书专营店
广东 佛山
￥56.4
68人付款
机工社官网正版 嵌入式软件系统测试 基于
形式化方法
的自动化测 试解决方案 殷永峰 姜博 完整构建 软件工程 管理方法 马尔可夫链
理论结合实践，完整构建自动化测试解决方案
博创鑫呈图书旗舰店
北京
￥43.45
143人付款
嵌入式软件系统测试(基于
形式化方法
的自动化测试解决方案)/电子与嵌入式系统设计丛书 博库网
博库旗舰店
浙江 杭州
￥61.87
34人付款
当当网 嵌入式软件系统测试：基于
形式化方法
的自动化测试解决方案 计算机网络 程序设计（新） 机械工业出版社 正版书籍
当当网官方旗舰店
北京
形式化方法相关推荐
程序分析
矩阵分析
矩阵分析引论
网络协议分析
矩阵论
矩阵论程云鹏
矩阵论简明教程
数学建模
形式化方法相关热搜
数学建模司守奎
数学建模竞赛
软件可靠性
软件可靠性工程
离散数学
离散数学及其应用
离散数学清华大学
离散数学教程
买了形式化方法的同学也喜欢
形式化方法导论
形式感
形式基础
形式与风格
形式主义官僚主义面面观
力戒形式主义官僚主义
渔竿战戟米
向日葵戒指 玉
向日葵莫桑石戒指
dior唇釉626
关于形式化方法的信息
形式化方法,形式化方法图片、价格、品牌、评价和形式化方法销量排行榜，共找到276件
形式化方法
相关的商品价格信息，页面更新时间：2024-06-12。
