verification什么牌子好,verification哪里有卖? - 第7页 - 淘折扣

全部>“verification” 共1575个商品

9781848827448 Verification Sequential Concurrent

【4周达】Verification of Sequential and Concurrent Programs [9781848827448]

￥1,028 券后￥1,138 0人已购买
优惠券￥ 110  领券购买 
9783319431734 Verification Structures Algorithms

【4周达】New Data Structures and Algorithms for Logic Synthesis and Verification [9783319431734]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783319681665 International Verification Technology

【4周达】Automated Technology for Verification and Analysis : 15th International Symposium, ATVA 2017... [9783319681665]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
International 9783319415390 Verification Conference

【4周达】Computer Aided Verification : 28th International Conference, CAV 2016, Toronto, ON, Canada, ... [9783319415390]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
9781849968294 Verification Integrated Software

【4周达】Software Verification and Analysis : An Integrated, Hands-On Approach [9781849968294]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9781489985132 Verification Methodology Cookbook

【4周达】Open Verification Methodology Cookbook [9781489985132]

￥1,078 券后￥1,198 0人已购买
优惠券￥ 120  领券购买 
9783642252303 International Verification Engineering

【4周达】Empirical Software Engineering and Verification : International Summer Schools, LASER 2008-2... [9783642252303]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9781489985309 Verification Synthesis Embedded

【4周达】Embedded System Design : Modeling, Synthesis and Verification [9781489985309]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
International 9783540662020 Verification Conference

【4周达】Computer Aided Verification: 11th International Conference, Cav'99, Trento, Italy, July 6-10... [9783540662020]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
International 9783642221095 Verification Conference

【4周达】Computer Aided Verification : 23rd International Conference, CAV 2011, Snowbird, UT, USA, Ju... [9783642221095]

￥577 券后￥637 0人已购买
优惠券￥ 60  领券购买 
9781848822399 Verification Integrated Software

【4周达】Software Verification and Analysis : An Integrated, Hands-On Approach [9781848822399]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
Design Installations 9781138606005 Verification

【4周达】IET Wiring Regulations: Design and Verification of Electrical Installations: Design and Veri... [9781138606005]

￥291 券后￥321 0人已购买
优惠券￥ 30  领券购买 
International 9783319516400 Applications Verification

【4周达】Leveraging Applications of Formal Methods, Verification, and Validation: 6th International S... [9783319516400]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
Verification International 9783319703886 Hardware

【4周达】Hardware and Software: Verification and Testing: 13th International Haifa Verification Confe... [9783319703886]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9783540639824 Verification Sequential Automatic

【4周达】Automatic Verification of Sequential Infinite-State Processes [9783540639824]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Verification International 9783319133379 Hardware

【4周达】Hardware and Software: Verification and Testing: 10th International Haifa Verification Confe... [9783319133379]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9781475770360 Verification Algorithms Synthesis

【4周达】Logic Synthesis and Verification Algorithms [9781475770360]

￥898 券后￥988 0人已购买
优惠券￥ 90  领券购买 
9783662452301 Applications Verification Specialized

【4周达】Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniqu... [9783662452301]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783319471686 Applications Verification Leveraging

【4周达】Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemin... [9783319471686]

￥577 券后￥637 0人已购买
优惠券￥ 60  领券购买 
9783319594170 Comprehensive Verification Technologies

【4周达】ASIC/SoC Functional Design Verification : A Comprehensive Guide to Technologies and Methodol... [9783319594170]

￥1,528 券后￥1,698 0人已购买
优惠券￥ 170  领券购买 
9783659273940 Verification Automated 预订

预订 Automated Verification of Dynamic Access Control Policies [9783659273940]

￥804 券后￥894 0人已购买
优惠券￥ 90  领券购买 
9781461287018 Verification Temporal Reactive

【4周达】Temporal Verification of Reactive Systems : Safety [9781461287018]

￥1,115 券后￥1,235 0人已购买
优惠券￥ 120  领券购买 
International 9783642427435 Verification Conference

【4周达】Open Source Software: Quality Verification: 9th IFIP WG 2.13 International Conference, OSS 2... [9783642427435]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
International 9783540892465 Verification Workshop

【4周达】Runtime Verification : 8th International Workshop, RV 2008, Budapest, Hungary, March 30, 200... [9783540892465]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
Verification International 9783540326045 Hardware

【4周达】Hardware and Software, Verification and Testing: First International Haifa Verification Conf... [9783540326045]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
9789402404982 Verification Algorithms Accuracy

【4周达】Accuracy Verification Methods : Theory and Algorithms [9789402404982]

￥988 券后￥1,098 0人已购买
优惠券￥ 110  领券购买 
International 9783319542911 Verification Numerical

【4周达】Numerical Software Verification : 9th International Workshop, NSV 2016, Toronto, ON, Canada,... [9783319542911]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9783845432748 Verification Information 预订

预订 Runtime Verification of Information flow [9783845432748]

￥898 券后￥998 0人已购买
优惠券￥ 100  领券购买 
9783030034177 Applications Verification Leveraging

【4周达】Leveraging Applications of Formal Methods, Verification and Validation. Modeling: 8th Intern... [9783030034177]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
9783319843087 Verification Fundamentals Security

【4周达】Fundamentals of IP and SoC Security : Design, Verification, and Debug [9783319843087]

￥893 券后￥983 0人已购买
优惠券￥ 90  领券购买 
International 9783031171956 Verification Conference

【4周达】Runtime Verification : 22nd International Conference, RV 2022, Tbilisi, Georgia, September 2... [9783031171956]

￥698 券后￥768 0人已购买
优惠券￥ 70  领券购买 
9786138388760 Verification 预订 Formal

预订 Formal Verification Of FDIR in Smart Grid [9786138388760]

￥771 券后￥851 0人已购买
优惠券￥ 80  领券购买 
International Verification Technology Automated

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

￥499 券后￥549 0人已购买
优惠券￥ 50  领券购买 
9781489984449 Verification Techniques Scalable

【4周达】Scalable Techniques for Formal Verification [9781489984449]

￥893 券后￥983 0人已购买
优惠券￥ 90  领券购买 
9783319205526 Calculations Verification Techniques

【4周达】Verifying Calculations - Forty Years on: An Overview of Classical Verification Techniques fo... [9783319205526]

￥505 券后￥555 0人已购买
优惠券￥ 50  领券购买 
9783030010898 International Verification Technology

【4周达】Automated Technology for Verification and Analysis : 16th International Symposium, ATVA 2018... [9783030010898]

￥538 券后￥598 0人已购买
优惠券￥ 60  领券购买 
Verification 9783030034207 Applications Leveraging

【4周达】Leveraging Applications of Formal Methods, Verification and Validation. Verification: 8th In... [9783030034207]

￥534 券后￥594 0人已购买
优惠券￥ 60  领券购买 
International 9783319671123 Verification Automated

【4周达】Critical Systems: Formal Methods and Automated Verification: Joint 22nd International Worksh... [9783319671123]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 
Power 9783319666181 Verification Design

【4周达】Low-Power Design and Power-Aware Verification [9783319666181]

￥1,310 券后￥1,450 0人已购买
优惠券￥ 140  领券购买 
Verification International 9783319490519 Hardware

【4周达】Hardware and Software: Verification and Testing: 12th International Haifa Verification Confe... [9783319490519]

￥524 券后￥574 0人已购买
优惠券￥ 50  领券购买 

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

扫描二维码打开

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

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

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

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

最新资讯：

淘折扣滇ICP备2023000592号-3　　滇公网安备53230102000530号统一社会信用代码：91532300MAC2D0R706 Copyright © 2010 - 2025 https://www.bgaw.cn/ All Rights Reserved

×
◆
0

◆

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

◆
返回顶部
◆