verification什么牌子好,verification哪里有卖? - 第7页 - 安康生态农业开发平台

全部>“verification” 共912个商品

Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:

￥839 券后￥869 0人已购买
优惠券￥ 30  领券购买 
验证 Applications Verification Leveraging

海外直订Leveraging Applications of Formal Methods, Verification and Validation. Practice 利用形式方法、验证和验证的

￥826 券后￥856 0人已购买
优惠券￥ 30  领券购买 
International Verification Conference Computer

海外直订Computer Aided Verification: 34th International Conference, Cav 2022, Haifa, Isr 计算机辅助验证:第34届国际

￥417 券后￥427 0人已购买
优惠券￥ 10  领券购买 
Verilog Verification SPI Protocol

海外直订Design and Verification of SPI Protocol using Verilog 基于Verilog的SPI协议设计与验证

￥609 券后￥639 0人已购买
优惠券￥ 30  领券购买 
International Verification Hardware Software

海外直订Hardware and Software, Verification and Testing: Second International Haifa Veri

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
并发 Compositional Verification Concurrent

海外直订Compositional Verification of Concurrent and Real-Time Systems 并发和实时系统的组合验证

￥1,278 券后￥1,318 0人已购买
优惠券￥ 40  领券购买 
International Verification Copenhagen Conference

海外直订Computer Aided Verification: 14th International Conference, Cav 2002 Copenhagen, 计算机辅助验证:第14届国际

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
Verification Sequential 顺序逻辑

海外直订Sequential Logic Testing and Verification 顺序逻辑测试与验证

￥1,918 券后￥1,978 0人已购买
优惠券￥ 60  领券购买 
1995 Verification 验证海外

海外直订Verification 1995 验证1995

￥412 券后￥422 0人已购买
优惠券￥ 10  领券购买 
测定 Verification Biometrics Technology

海外直订The Science of Biometrics: Security Technology for Identity Verification 生物测定学：身份验证的安全技术

￥871 券后￥901 0人已购买
优惠券￥ 30  领券购买 
Communication Specification Verification Protocol

海外直订Communication Protocol Specification and Verification 通信协议规范与验证

￥2,591 券后￥2,651 0人已购买
优惠券￥ 60  领券购买 
Structurally Verification Formal Multipliers

海外直订Formal Verification of Structurally Complex Multipliers Formal Verification of Structurally

￥1,024 券后￥1,064 0人已购买
优惠券￥ 40  领券购买 
布尔 Verification 推理 Synthesis

海外直订Reasoning in Boolean Networks: Logic Synthesis and Verification Using Testing Te 布尔推理:使用测试技术

￥1,928 券后￥1,988 0人已购买
优惠券￥ 60  领券购买 
Tools Implementation Verification Information

海外直订Tools for Design, Implementation and Verification of Emerging Information Techno Tools for

￥761 券后￥791 0人已购买
优惠券￥ 30  领券购买 
延迟 Verification 定时 Approach

海外直订A Unified Approach for Timing Verification and Delay Fault Testing 定时验证和延迟故障测试的统一方法

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
行时 Java Verification Approach

海外直订Runtime Verification: A Hands-On Approach in Java 运行时验证:Java中的一种实践方法

￥487 券后￥497 0人已购买
优惠券￥ 10  领券购买 
明式 Transformation Verification Declarative

海外直订Analysis, Verification and Transformation for Declarative Programming and Intell 声明式编程和智能系统的分析

￥1,303 券后￥1,343 0人已购买
优惠券￥ 40  领券购买 
International Verification Conference Computer

海外直订Computer Aided Verification: 18th International Conference, Cav 2006, Seattle, W 计算机辅助验证:第18届国际

￥1,278 券后￥1,318 0人已购买
优惠券￥ 40  领券购买 
Verification 仿真 Industrial Simulation

海外直订Symbolic Simulation Methods for Industrial Formal Verification 工业形式验证的符号仿真方法

￥1,278 券后￥1,318 0人已购买
优惠券￥ 40  领券购买 
Systemverilog Verification Systemveri Testbench

海外直订Systemverilog for Verification: A Guide to Learning the Testbench Language Featu Systemveri

￥1,309 券后￥1,349 0人已购买
优惠券￥ 40  领券购买 
嵌入式 Embedded Systems 系统

海外直订Embedded Systems Handbook: Embedded Systems Design and Verification 嵌入式系统手册:嵌入式系统设计与验证

￥2,539 券后￥2,599 0人已购买
优惠券￥ 60  领券购买 
多核 Verification Techniques Multicore

海外直订Multicore Hardware-Software Design and Verification Techniques 多核硬件软件设计与验证技术

￥904 券后￥934 0人已购买
优惠券￥ 30  领券购买 
并发 Verification Concurrent Sequential

海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证

￥956 券后￥986 0人已购买
优惠券￥ 30  领券购买 
International Verification Technology Symposium

海外直订Automated Technology for Verification and Analysis: 10th International Symposium 验证和分析自动化技术：第十

￥632 券后￥662 0人已购买
优惠券￥ 30  领券购买 
医药图书 International Verification Conference

海外直订医药图书Computer Aided Verification: 13th International Conference, Cav 2001, Paris, Fra 计算机辅助验证:第1

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
Computer International Verification Conference

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

￥433 券后￥443 0人已购买
优惠券￥ 10  领券购买 
International Verification Software Hardware

海外直订Hardware and Software: Verification and Testing: 8th International Haifa Verific 硬件和软件：验证和测试：第

￥549 券后￥559 0人已购买
优惠券￥ 10  领券购买 
工程设计 Verification 可靠性 Engineering

海外直订Reliability Verification, Testing, and Analysis in Engineering Design 工程设计中的可靠性验证、测试与分析

￥3,982 券后￥4,042 0人已购买
优惠券￥ 60  领券购买 
硬件设计 Verification Hardware advanced

海外直订Correct Hardware Design and Verification Methods: 13th Ifip Wg 10.5advanced Rese 正确的硬件设计和验证方法：

￥628 券后￥658 0人已购买
优惠券￥ 30  领券购买 
形式化方法 Verification Software 自治

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

￥831 券后￥861 0人已购买
优惠券￥ 30  领券购买 
Verification Functional Principles Processes

海外直订Effective Functional Verification: Principles and Processes 有效的功能验证:原则和过程

￥1,285 券后￥1,325 0人已购买
优惠券￥ 40  领券购买 
英文 International 9783540416630 Specification

现货英文原版 Interactive Systems. Design, Specification, and Verification:7th International Wo 9783540416630

￥466 券后￥476 0人已购买
优惠券￥ 10  领券购买 
多项式形式化时序 Verification

预订 Embedding Sequential Circuits for their Polynomial Formal Verification 用于多项式形式化验证的时序电路嵌入: 97836585

￥944 券后￥978 0人已购买
优惠券￥ 34  领券购买 
International Specification Verification Interactive

海外直订Interactive Systems: Design, Specification, and Verification: 15th International 交互系统:设计、规范和验证:

￥628 券后￥658 0人已购买
优惠券￥ 30  领券购买 
Verification 核实 Challenges 挑战

海外直订Challenges Of Verification 核实的挑战

￥2,031 券后￥2,091 0人已购买
优惠券￥ 60  领券购买 
Guide Verification Components Software

海外直订Guide to Software Verification with Frama-C: Core Components, Usages, and Applic Guide to S

￥705 券后￥735 0人已购买
优惠券￥ 30  领券购买 
Interpretation International Verification Verificati

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

￥964 券后￥994 0人已购买
优惠券￥ 30  领券购买 
Verification Programming Pragmatic Language

海外直订Aspect-Oriented Programming with the E Verification Language: A Pragmatic Guide 使用E验证语言进行面向方面

￥1,175 券后￥1,215 0人已购买
优惠券￥ 40  领券购买 
dynamic verification Deductive oriented

海外直订Deductive verification of object-oriented software: dynamic frames, dynamic logi 面向对象软件的演绎验证:动

￥665 券后￥695 0人已购买
优惠券￥ 30  领券购买 
Design 软硬件 Heterogeneous Verification

海外直订Heterogeneous Soc Design and Verification: Hw/SW Co-Exploration, Co-Design, Co-V 异构Soc设计与验证：软硬件

￥520 券后￥530 0人已购买
优惠券￥ 10  领券购买 

上一页 1 ... 5 6 7 8 9 ... 23 下一页

扫描二维码打开

关于我们: 关于我们; 联系我们; 新浪微博; QQ空间; 腾讯微博

商务合作: 卖家报名; 免责声明; 广告合作; APP客户端

用户帮助: 常见问题; 抢购小技巧; 消费者保障

会员中心: 我的收藏; 免费注册; 登录本站; 找回密码

安康生态农业开发平台　　Copyright © 2010 - 2021 http://xjnyxx.yuncomcn.com/ All Rights Reserved