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

语用学语义学形式化方法日语

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

￥1,003 券后￥1,033 0人已购买
优惠券￥ 30  领券购买 
形式化方法人工智能 Intelligence Artificial

海外直订Formal Methods in Artificial Intelligence 人工智能中的形式化方法

￥578 券后￥583 0人已购买
优惠券￥ 5  领券购买 
形式化方法辅助设计 International Conference

海外直订Formal Methods in Computer-Aided Design: 5th International Conference, Fmcad 200 计算机辅助设计的形式化方法

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 International Applications 程序设计

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

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

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

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法分布式 Distributed 基于

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

￥2,006 券后￥2,056 0人已购买
优惠券￥ 50  领券购买 
形式化并行 Automation Adaptive

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

￥2,647 券后￥2,697 0人已购买
优惠券￥ 50  领券购买 
形式化方法 International Executable Software

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

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

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

￥547 券后￥552 0人已购买
优惠券￥ 5  领券购买 
复杂系统形式化方法 Systems Complex

海外直订Formal Methods Applied to Complex Systems 复杂系统的形式化方法

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

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法工作组 Standards BCS

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 
形式化方法 2019 International Workshops

海外直订Formal Methods. FM 2019 International Workshops: Porto, Portugal, October 7-11, 形式化方法。FM 2019国际

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

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

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

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

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

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

￥1,698 券后￥1,748 0人已购买
优惠券￥ 50  领券购买 
形式化 Specification 算法 Algorithms

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

￥997 券后￥1,027 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Components 组件对象

海外直订Formal Methods for Components and Objects 组件和对象的形式化方法

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

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

￥547 券后￥552 0人已购买
优惠券￥ 5  领券购买 
形式化方法软件工程建模 Engineering

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

￥2,017 券后￥2,067 0人已购买
优惠券￥ 50  领券购买 
形式化方法 Verification Software 自治

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

￥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  领券购买 
形式化方法软件工程 Engineering Software

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

￥529 券后￥534 0人已购买
优惠券￥ 5  领券购买 
形式化方法 Optimization Behavioral Synthesis

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

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

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

￥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  领券购买 
形式化方法 Integrated Methods 海外

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

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

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

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

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

￥821 券后￥851 0人已购买
优惠券￥ 30  领券购买 
形式化方法分布式 Distributed Processing

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

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

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

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

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

￥583 券后￥588 0人已购买
优惠券￥ 5  领券购买 
形式化方法演算实时 Duration

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

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

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

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

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

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法分布式 Distributed Processing

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

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

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

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

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

￥548 券后￥553 0人已购买
优惠券￥ 5  领券购买 