Verification什么牌子好,Verification哪里有卖? - 第10页 - 优惠购商城

全部>“Verification” 共597个商品

9780821865941 Verification 预订 Computer

预订 Computer-aided Verification: 9780821865941

￥1,425 券后￥1,625 0人已购买
优惠券￥ 200  领券购买 
9780821806807 Verification 预订 System

预订 The SPIN Verification System: 9780821806807

￥651 券后￥801 0人已购买
优惠券￥ 150  领券购买 
Tools Implementation Verification Information

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

￥745 券后￥795 0人已购买
优惠券￥ 50  领券购买 
验证 ADAS Verification Validation

海外直订ADAS and Automated Driving: A Practical Approach to Verification and Validation ADAS和自动驾驶:验证和验证的

￥941 券后￥1,041 0人已购买
优惠券￥ 100  领券购买 
概率 Verification Principles 景观

海外直订Principles of Verification: Cycling the Probabil... 验证原则：循环概率景观

￥752 券后￥802 0人已购买
优惠券￥ 50  领券购买 
Requirements Needs 系统工程 Verification

预订 Incose Needs and Requirements Manual: Needs, Requirements, Verification, Validation Across the Lifecycle 系统工程国

￥877 券后￥1,077 0人已购买
优惠券￥ 200  领券购买 
Verification Sequential 顺序逻辑

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

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
9789811996030 Verification Challenges 预订

预订 Challenges of Software Verification 软件验证的挑战 9789811996030

￥1,639 券后￥1,839 0人已购买
优惠券￥ 200  领券购买 
Verification 精度算法 Algorithms

海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法

￥1,103 券后￥1,203 0人已购买
优惠券￥ 100  领券购买 
Specification International Verification Interactive

海外直订Interactive Systems. Design Specification, and Verification: 12th International 互动系统。设计规范和验证:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
验证 Applications Verification Leveraging

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

￥1,026 券后￥1,126 0人已购买
优惠券￥ 100  领券购买 
Interpretation International Verification 抽象

海外直订Verification, Model Checking, and Abstract Interpretation: Third International W 验证、模型检验与抽象解释:

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
多核 Verification Techniques Multicore

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

￥889 券后￥939 0人已购买
优惠券￥ 50  领券购买 
2024 International Verification Proceedings

预订 AI Verification: First International Symposium, SAIV 2024, Montreal, QC, Canada, July 22–23, 2024, Proceedings人工

￥1,224 券后￥1,424 0人已购买
优惠券￥ 200  领券购买 
Verification Measurement Functional 测量

海外直订Functional Verification Coverage Measurement and Analysis 功能验证覆盖、测量和分析

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
2025 International Verification Proceedings

预订 Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings

￥399 券后￥459 0人已购买
优惠券￥ 60  领券购买 
Applications Verification Leveraging Validation

预订 Leveraging Applications of Formal Methods, Verification and Validation. REoCAS Colloquium in Honor of Rocco De Nico

￥660 券后￥810 0人已购买
优惠券￥ 150  领券购买 
International 第四届 Verification Technology

海外直订Automated Technology for Verification and Analysis: 4th International Symposium, 验证与分析自动化技术:第四届国

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
2025 International Verification Proceedings

预订 Computer Aided Verification 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceedings

￥399 券后￥459 0人已购买
优惠券￥ 60  领券购买 
时序建模 VLSI Macromodeling

海外直订Digital Timing Macromodeling for VLSI Design Verification 用于VLSI设计验证的数字时序宏建模

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
普林斯顿英文预售控制系统

【预售按需印刷】 Formal Verification of Control System Software控制系统软件的形式验证英文原版普林斯顿

￥413.6 券后￥473.6 0人已购买
优惠券￥ 60  领券购买 
度量 Verification Executive's Engineer's

海外直订Metric Driven Design Verification: An Engineer's and Executive's Guide to First 度量驱动的设计验证:工程师

￥1,398 券后￥1,498 0人已购买
优惠券￥ 100  领券购买 
International Verification Conference Computer

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
微处理器 Microprocessor Verification 验证

海外直订The Secd Microprocessor: A Verification Case Study 第二微处理器:验证案例研究

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
9783031885457 Verification Autonomous 预订

预订 Verification of Autonomous Systems 自主系统验证 9783031885457

￥1,524 券后￥1,724 0人已购买
优惠券￥ 200  领券购买 
Verification Synthesis 逻辑验证

海外直订Logic Synthesis and Verification 逻辑综合与验证

￥2,020 券后￥2,120 0人已购买
优惠券￥ 100  领券购买 
2024 International Verification Proceedings

预订 Runtime Verification: 24th International Conference, RV 2024, Istanbul, Turkey, October 15–17, 2024, Proceedings

￥503 券后￥603 0人已购买
优惠券￥ 100  领券购买 
验证 Applications Verification Leveraging

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

￥877 券后￥927 0人已购买
优惠券￥ 50  领券购买 
乘数形式化 Verification Structurally

海外直订Formal Verification of Structurally Complex Multipliers 结构复杂乘数的形式化验证

￥970 券后￥1,070 0人已购买
优惠券￥ 100  领券购买 
并发 Compositional Verification Concurrent

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
Software Verification Approaches Validation

海外直订Software Quality Approaches: Testing, Verification, and Validation: Software Bes 软件质量方法：测试、验证和

￥566 券后￥616 0人已购买
优惠券￥ 50  领券购买 
并发 Verification 嵌入式 Exploration

海外直订Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Em 实时嵌入式系统中任务级并发的建

￥1,888 券后￥1,988 0人已购买
优惠券￥ 100  领券购买 
数值 International Verification Numerical

海外直订Numerical Software with Result Verification: International Dagstuhl Seminar, Dag 数值软件与结果验证:国际Dag

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
分类法 Verification Development Taxonomies

海外直订Taxonomies for the Development and Verification of Digital Systems 数字系统开发和验证的分类法

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 
9783031377020 Verification 预订 Computer

[预订]Computer Aided Verification 9783031377020

￥377 券后￥437 0人已购买
优惠券￥ 60  领券购买 
硬件设计 Verification Hardware advanced

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

￥612 券后￥662 0人已购买
优惠券￥ 50  领券购买 
Petri Lotos Nets Verification

预订 Verification Of Systems And Circuits Using Lotos, Petri Nets, And Ccs 利用LOTOS、Petri Nets 与CCS进行系统与电路的核

￥1,503 券后￥1,703 0人已购买
优惠券￥ 200  领券购买 
1995 Verification 验证海外

海外直订Verification 1995 验证1995

￥392 券后￥422 0人已购买
优惠券￥ 30  领券购买 
9783030871802 Verification 预订 Floating

[预订]Formal Verification of Floating-Point Hardware Design 9783030871802

￥1,443 券后￥1,643 0人已购买
优惠券￥ 200  领券购买 
Verification Functional Principles Effective

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

￥1,225 券后￥1,325 0人已购买
优惠券￥ 100  领券购买 

上一页 1 ... 8 9 10 11 12 ... 15 下一页

扫描二维码打开

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

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

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

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

最新资讯：

优惠购商城粤ICP备2021134891号　　Copyright © 2010 - 2021 https://www.51yhgou.com/ All Rights Reserved

×
◆
0

◆
我的订单
◆
我的收入
◆

意见反馈
◆
扫描下载二维码

◆
返回顶部
◆