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

形式化方法 International 部件 Components

海外直订Formal Methods for Components and Objects: 4th International Symposium, FMCO 200 部件和对象的形式化方法:第

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 System 系统 Perspective

海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视

￥1,848 券后￥1,898 0人已购买
优惠券￥ 50  领券购买 
形式化方法人机 Interaction 交互

海外直订Formal Methods in Human-Computer Interaction 人机交互中的形式化方法

￥613 券后￥643 0人已购买
优惠券￥ 30  领券购买 
形式化方法分布式嵌入式 Distributed

海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法演算实时 Duration

海外直订Duration Calculus: A Formal Approach to Real-Time Systems 持续时间演算:实时系统的形式化方法

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法 International Applications 程序设计

海外直订Formal Methods in Programming and Their Applications: International Conference, 程序设计的形式化方法及其应用:

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

海外直订Formal Foundations for Software Engineering Methods 软件工程方法的形式化基础

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Verification Software 自治

海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

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

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

￥613 券后￥643 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Optimization Behavioral Synthesis

海外直订Power Optimization and Synthesis at Behavioral and System Levels Using Formal Me 使用形式化方法在行为级和系

￥1,157 券后￥1,187 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Performance Stochastic Evaluation

海外直订Formal Methods and Stochastic Models for Performance Evaluation: Third European 性能评估的形式化方法和随机

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

海外直订Software Engineering and Formal Methods: Sefm 2013 Collocated Workshops: Beat2, 软件工程和形式化方法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法人机 Interaction 交互

海外直订Formal Methods in Human-Computer Interaction 人机交互的形式化方法

￥580 券后￥585 0人已购买
优惠券￥ 5  领券购买 
形式化方法分布式嵌入式 Distributed

海外直订Formal Methods for Embedded Distributed Systems: How to Master the Complexity 嵌入式分布式系统的形式化方法:如何

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法系统工程 Engineering Systems

海外直订Formal Methods in Systems Engineering 系统工程中的形式化方法

￥583 券后￥588 0人已购买
优惠券￥ 5  领券购买 
形式化方法分布式 Distributed Processing

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

￥626 券后￥656 0人已购买
优惠券￥ 30  领券购买 
形式化方法硬件设计 Hardware Approach

海外直订A Formal Approach to Hardware Design 硬件设计的形式化方法

￥1,520 券后￥1,550 0人已购买
优惠券￥ 30  领券购买 
形式化方法软件工程 Engineering Software

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

￥561 券后￥566 0人已购买
优惠券￥ 5  领券购买 
形式化并行 Automation Adaptive

海外直订Formal and Adaptive Methods for Automation of Pa... 并行程序构建自动化的形式化和自适应方法

￥2,647 券后￥2,697 0人已购买
优惠券￥ 50  领券购买 
Methods 形式化方法 Formal 移动计算

海外直订Formal Methods for Mobile Computing: 5th International School on Formal Methods 移动计算的形式化方法:第五

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
结构化 Structured Oriented Language

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

￥424 券后￥429 0人已购买
优惠券￥ 5  领券购买 
Methods 形式化方法软件工程 Engineering

海外直订Formal Methods for Software Engineering: Languages, Methods, Application Domains 软件工程的形式化方法:语言，方

￥754 券后￥784 0人已购买
优惠券￥ 30  领券购买 
形式化方法工作组 Standards BCS

海外直订Formal Methods in Standards: A Report from the BCS Working Group 标准中的形式化方法：BCS工作组的一份报告

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法分布式 Distributed 基于

海外直订Formal Methods for Open Object-Based Distributed Systems: Volume 2 基于开放对象的分布式系统的形式化方法：第2卷

￥2,006 券后￥2,056 0人已购买
优惠券￥ 50  领券购买 
形式化方法软件工程建模 Engineering

海外直订Domain Modeling-Based Software Engineering: A Formal Approach 基于领域建模的软件工程：一种形式化方法

￥2,017 券后￥2,067 0人已购买
优惠券￥ 50  领券购买 
渐近重整 Renormalization 几何

海外直订Geometrical Formulation of Renormalization-Group... 作为渐近分析的重整化群方法的几何形式

￥1,399 券后￥1,429 0人已购买
优惠券￥ 30  领券购买 
形式化 Proceedings CAD Advances

海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展：I

￥2,006 券后￥2,056 0人已购买
优惠券￥ 50  领券购买 
形式化方法软件工程 Sefm Engineering

海外直订Software Engineering and Formal Methods: Sefm 2015 Collocated Workshops: Atse, H 软件工程和形式化方法：Sefm

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

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

￥547 券后￥552 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件测试 International Approaches

海外直订Formal Approaches to Software Testing: 4th International Workshop, Fates 2004, L 软件测试的形式化方法:第四

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

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

￥547 券后￥552 0人已购买
优惠券￥ 5  领券购买 
形式化方法 International Executable Software

海外直订Formal Methods for Executable Software Models: 14th International School on Form 可执行软件模型的形式化方法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化 Proceedings CAD Advances

海外直订Advances in Formal Design Methods for CAD: Proceedings of the Ifip Wg5.2 Worksho CAD形式化设计方法的进展：I

￥2,017 券后￥2,067 0人已购买
优惠券￥ 50  领券购买 
形式化方法 System 系统 Perspective

海外直订Formal Methods and Models for System Design: A System Level Perspective 系统设计的形式化方法和模型:系统级视

￥1,848 券后￥1,898 0人已购买
优惠券￥ 50  领券购买 
创意产品设计案例分析渲染

文创产品设计单阳文化创意表现形式领域创新要素方法运用案例分析渲染技术策略知识产权多元化发展趋势

￥61.1 券后￥64.1 0人已购买
优惠券￥ 3  领券购买 
形式化方法工业春华数据分析

工业数据分析工程基于CRISP-DM的形式化方法田春华等著数据库专业科技新华书店正版图书籍机械工业出版社

￥60.2 券后￥65.2 0人已购买
优惠券￥ 5  领券购买 
形式化区块合约验证

T/CIE 130-2022区块链智能合约形式化设计与验证方法

￥25.9 券后￥27.9 0人已购买
优惠券￥ 2  领券购买 
形式化方法导论

形式化方法导论（第2版）

￥51.2 券后￥56.2 0人已购买
优惠券￥ 5  领券购买 
清华大学出版社广泉形式化方法大中专

形式化方法导论第2版张广泉编数学大中专新华书店正版图书籍清华大学出版社

￥51.8 券后￥56.8 0人已购买
优惠券￥ 5  领券购买 
微分可视化几何复分析

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

￥213.2 券后￥223.2 0人已购买
优惠券￥ 10  领券购买 