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

形式化方法 Probabilistic International 概率

海外直订Formal Methods for Real-Time and Probabilistic Systems: 5th International Amast 实时和概率系统的形式化方法

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
形式化方法 Components 组件对象

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
形式化方法分布式 Distributed Development

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

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

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

￥542 券后￥552 0人已购买
优惠券￥ 10  领券购买 
形式化方法分布式 Distributed 基于

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

￥2,007 券后￥2,067 0人已购买
优惠券￥ 60  领券购买 
形式化软件工程 Engineering Foundations

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
形式化方法 Technology 对象 Methods

海外直订Formal Methods and Object Technology 形式化方法与对象技术

￥1,153 券后￥1,193 0人已购买
优惠券￥ 40  领券购买 
形式化方法 Formal 软件工程 International

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

￥542 券后￥552 0人已购买
优惠券￥ 10  领券购买 
形式化方法 Formal 软件工程 International

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

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法 International Executable Software

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
形式化方法分布式 Distributed Processing

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

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

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

￥2,007 券后￥2,067 0人已购买
优惠券￥ 60  领券购买 
形式化方法 Verification 算法 Algorithms

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
形式化方法蒸汽 Applications Programming

海外直订Formal Methods for Industrial Applications: Specifying and Programming the Steam 工业应用的形式化方法:蒸汽

￥993 券后￥1,033 0人已购买
优惠券￥ 40  领券购买 
形式化方法 International 部件 Components

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
形式化方法 Performance Stochastic Evaluation

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

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

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

￥993 券后￥1,033 0人已购买
优惠券￥ 40  领券购买 
形式化方法 Verification Automated Internat

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

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

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

￥2,007 券后￥2,067 0人已购买
优惠券￥ 60  领券购买 
形式化方法离散 Dynamical Discrete

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

￥1,697 券后￥1,757 0人已购买
优惠券￥ 60  领券购买 
形式化方法 System 系统 Perspective

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

￥1,848 券后￥1,908 0人已购买
优惠券￥ 60  领券购买 
形式化方法 Programming Practical Methods

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

￥777 券后￥807 0人已购买
优惠券￥ 30  领券购买 
形式化方法人机 Interaction 交互

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

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

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

￥754 券后￥784 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Manufacturing Advances 进展

海外直订Formal Methods in Manufacturing Systems: Recent Advances 制造系统的形式化方法：最新进展

￥2,386 券后￥2,446 0人已购买
优惠券￥ 60  领券购买 
形式化方法非线性 Nonlinear Control

海外直订Formal Methods for Control of Nonlinear Systems 非线性系统控制的形式化方法

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

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

￥576 券后￥586 0人已购买
优惠券￥ 10  领券购买 
形式化方法 International Conference Industrial

海外直订Formal Methods for Industrial Critical Systems: 27th International Conference, F 工业关键系统的形式化方法:

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

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

￥1,510 券后￥1,550 0人已购买
优惠券￥ 40  领券购买 
形式化方法 Integrated Methods 海外

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

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Applications Verification Leveraging

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

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

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

￥543 券后￥553 0人已购买
优惠券￥ 10  领券购买 
形式化方法软件工程 Sefm Engineering

海外直订Software Engineering and Formal Methods. Sefm 2022 Collocated Workshops: Ai4ea, 软件工程与形式化方法。Sefm

￥1,057 券后￥1,097 0人已购买
优惠券￥ 40  领券购买 
结构化 Structured Oriented Language

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

￥419 券后￥429 0人已购买
优惠券￥ 10  领券购买 
形式化方法分布式嵌入式 Distributed

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

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

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

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

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

￥578 券后￥588 0人已购买
优惠券￥ 10  领券购买 
逻辑形式化方法 Nonmonotonic 单调

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

￥913 券后￥943 0人已购买
优惠券￥ 30  领券购买 
Methods 形式化方法 Formal 移动计算

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

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

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

￥1,589 券后￥1,649 0人已购买
优惠券￥ 60  领券购买 