形式化方法什么牌子好,形式化方法哪里有卖? - 第1页

微分可视化几何复分析

【全2册】可视化微分几何和形式 +复分析可视化方法微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍

￥178 券后￥188 0人已购买
优惠券￥ 10  领券购买 
微分可视化几何复分析

【全2册】可视化微分几何和形式 +复分析可视化方法微分几何微分形式可视化几何相对论常微分方程数学本科大专教材数学之美书籍

￥168 券后￥188 0人已购买
优惠券￥ 20  领券购买 
可视化微分几何复分析

【2本套】复分析可视化方法+可视化微分几何和形式图灵数学之美微积分微分几何可视化本科专科教材正版书籍

￥227.5 券后￥247.5 0人已购买
优惠券￥ 20  领券购买 
形式化方法大学论及大中专

形式化方法理论及应用华保健编大学教材大中专新华书店正版图书籍中国科学技术大学出版社

￥55.2 券后￥60.2 0人已购买
优惠券￥ 5  领券购买 
清华大学出版社广泉形式化方法导论

【正版书】形式化方法导论张广泉著清华大学出版社

￥15.4 券后￥16.4 0人已购买
优惠券￥ 1  领券购买 
席琳连中形式化方法构件

正版】形式化方法在构件组装实时系统中的应用研究席琳马传连著席琳马传连中央民族大学出版社有限责任公司9787566016683

￥37.1 券后￥39.1 0人已购买
优惠券￥ 2  领券购买 
清华大学出版社广泉形式化方法手书

二手书形式化方法导论/21世纪高等学校计算机专业实用规划教材张广泉清华大学出版社9787302411611

￥10.8 券后￥11.8 0人已购买
优惠券￥ 1  领券购买 
浙江大学李莹形式化方法软件工程

二手软件工程形式化方法与语言李莹浙江大学出版社

￥6 券后￥7 0人已购买
优惠券￥ 1  领券购买 
高等教育出版社天龙形式化方法软件开发

【正版书】软件开发的形式化方法古天龙　编高等教育出版社

￥40.4 券后￥41.4 0人已购买
优惠券￥ 1  领券购买 
浙江大学李莹形式化方法软件工程

二手软件工程形式化方法与语言李莹浙江大学出版社

￥6 券后￥7 0人已购买
优惠券￥ 1  领券购买 
形式化方法分布式 Distributed Processing

海外直订Formal Methods for Distributed Processing: A Survey of Object-Oriented Approache 分布式处理的形式化方法：面向

￥1,599 券后￥1,649 0人已购买
优惠券￥ 50  领券购买 
形式化方法 Verification 算法 Algorithms

海外直订Verification of Reactive Systems: Formal Methods and Algorithms 反应系统的验证：形式化方法和算法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法离散 Dynamical Discrete

海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法

￥1,698 券后￥1,748 0人已购买
优惠券￥ 50  领券购买 
逻辑形式化方法 Nonmonotonic 单调

海外直订Formal Methods for Nonmonotonic and Related Logics: Vol I: Preference and Size 非单调逻辑和相关逻辑的形式化方法

￥913 券后￥943 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Formal 软件工程 International

海外直订Formal Methods and Software Engineering: 16th International Conference on Formal 形式化方法与软件工程:第16

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Industrial Critical Methods

海外直订Formal Methods for Industrial Critical Systems 工业关键系统的形式化方法

￥485 券后￥490 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Integrated Methods 海外

海外直订Integrated Formal Methods 综合形式化方法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Computer Methods Science

海外直订Formal Methods in Computer Science 计算机科学中的形式化方法

￥821 券后￥851 0人已购买
优惠券￥ 30  领券购买 
形式化方法离散 Dynamical Discrete

海外直订Formal Methods for Discrete-Time Dynamical Systems 离散时间动力系统的形式化方法

￥1,698 券后￥1,748 0人已购买
优惠券￥ 50  领券购买 
形式化方法 Applications Foundations Methods

海外直订Formal Methods: Foundations and Applications 形式化方法：基础与应用

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
形式化方法定量 Quantitative Evaluation

海外直订Formal Methods for the Quantitative Evaluation o... 集体适应系统定量评价的形式化方法

￥510 券后￥515 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Verification Automated Internat

海外直订Critical Systems: Formal Methods and Automated Verification: Joint 21st Internat 关键系统：形式化方法和自动

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Industrial 强度 Practice

海外直订Industrial-Strength Formal Methods in Practice 工业强度形式化方法的实践

￥1,615 券后￥1,665 0人已购买
优惠券￥ 50  领券购买 
形式化方法分布式 Distributed Development

海外直订Formal Methods for Distributed System Development: Forte / Pstv 2000 Ifip Tc6 Wg 分布式系统开发的形式化方法

￥2,017 券后￥2,067 0人已购买
优惠券￥ 50  领券购买 
Methods 形式化方法 Formal International

海外直订Formal Methods for Web Services: 9th International School on Formal Methods for 服务的形式化方法:第九

￥571 券后￥576 0人已购买
优惠券￥ 5  领券购买 
形式化方法 NASA Methods 海外

海外直订NASA Formal Methods NASA形式化方法

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件工程 International Engineering

海外直订Software Engineering and Formal Methods: 14th International Conference, Sefm 201 软件工程和形式化方法:第十

￥547 券后￥552 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Applications Verification Leveraging

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Technolo 利用形式化方法的应用，验证

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件工程 Engineering Software

海外直订Formal Methods and Software Engineering 形式化方法与软件工程“，

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
多核形式化方法 Formal International

海外直订Formal Methods for Multicore Programming: 15th International School on Formal Me 多核编程的形式化方法：第15

￥485 券后￥490 0人已购买
优惠券￥ 5  领券购买 
形式化方法构件 International Components

海外直订Formal Methods for Components and Objects: First International Symposium, Fmco 2 构件和对象的形式化方法:第

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
结构化 Structured Oriented Language

海外直订Structured Object-Oriented Formal Language and M... 结构化面向对象形式语言与方法

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Integrated Methods 海外

海外直订Integrated Formal Methods 综合形式化方法

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法软件工程 International Engineering

海外直订Software Engineering and Formal Methods: 9th International Conference, SEFM 2011 软件工程和形式化方法：第9

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化 Specification 算法 Algorithms

海外直订Formal Specification Level: Concepts, Methods, and Algorithms 形式化规范级别:概念、方法和算法

￥997 券后￥1,027 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Discourse 话语 Approach

海外直订A Formal Approach to Discourse Anaphora 话语回指的形式化方法

￥461 券后￥466 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件工程 Engineering Software

海外直订Formal Methods and Software Engineering 形式化方法与软件工程

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
语用学语义学形式化方法日语

海外直订Formal Approaches to Semantics and Pragmatics: Japanese and Beyond 语义学和语用学的形式化方法：日语及其他

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Programming Practical Methods

海外直订The Way of Z: Practical Programming with Formal Methods z方法：用形式化方法进行实用编程

￥777 券后￥807 0人已购买
优惠券￥ 30  领券购买 
形式化方法软件工程 Engineering Collocated

海外直订Software Engineering and Formal Methods. Sefm 2021 Collocated Workshops: Cifma, 软件工程与形式化方法“，”

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 