Verification 全部图片 - 淘宝多肉

首页超级人气榜领券中心限时抢购 9块9包邮 19块9包邮

首页全部商品

共 401 款相关商品

商品分类

全部

热门搜索

新上人气热销价格↑ 价格↓ 不限价格 0-30元 31-100元 101-300元 301-1000元 1001-3000元 3001-10000元 10000元以上

Simulink 形式 statflow图 Verification Diagrams 化 Deductive 海外直订Formal Stateflow Approach

原价 1524销量 0

￥1524 中华商务图书专营店
海外直订Deductive Book Verification The Software 关键手册演绎****验证 KeY

原价 1471销量 0

￥1471 中华商务图书专营店
Future Trends 正式海外直订Formal State Verification and 技术现状和未来趋势 System The Art 系统验证

原价 1471销量 0

￥1471 中华商务图书专营店
海外直订Temporal Safety Reactive Verification 时间验证：安全性反应系统 Systems

原价 1458销量 0

￥1458 中华商务图书专营店
近似函数 Functions Verification Formal 验证形式多项式 Approximate 海外直订Polynomial

原价 1458销量 0

￥1458 中华商务图书专营店
Clot Verification CVC 25摩擦校正布摩擦校准布Crockmeter AATCC

原价 2409.3销量 0

￥2409.3 tb2102341508
海外直订Scalable 形式 for Formal Techniques 可伸缩技术验证 Verification

原价 1383销量 0

￥1383 中华商务图书专营店
Verification Practitioner 海外直订Hardware with Handbook 硬件验证：实践者手册

原价 1356销量 0

￥1356 中华商务图书专营店
Systemverilog验证方法手册 Methodology for Systemverilog 海外直订Verification Manual

原价 1356销量 0

￥1356 中华商务图书专营店
验证方法手册 Verification Cookbook 开放式海外直订Open Methodology

原价 1356销量 0

￥1356 中华商务图书专营店
高保证应用微处理器系统 Application and for Systems 设 High 海外直订Design Microprocessor Verification Assurance

原价 1356销量 0

￥1356 中华商务图书专营店
Simulink 形式 statflow图 Verification Diagrams 化 Deductive 海外直订Formal Stateflow Approach

原价 1337销量 0

￥1337 中华商务图书专营店
Design System 海外直订Electronic Automation for and Verification Testing

原价 1330销量 0

￥1330 中华商务图书专营店
Cav Conference Verification Aided 计算机辅助验证：第22届国际 Edinburgh 2010 International 22nd 海外直订Computer

原价 1325销量 0

￥1325 中华商务图书专营店
Verification Methods 精度验证方法：理论与算法 Theory and 海外直订Accuracy Algorithms

原价 1325销量 0

￥1325 中华商务图书专营店
CAV Conference Verification Aided 计算机辅助验证：第21届国际 Grenoble 2009 International 21st 海外直订Computer

原价 1325销量 0

￥1325 中华商务图书专营店
当前趋势 Hardware 硬件验证和自动定理证明 Verification and Automated Theorem Trends 海外直订Current Proving

原价 1325销量 0

￥1325 中华商务图书专营店
计算机辅助验证：第 12th International Conference Cav Verification 2000 Aided 海外直订医药图书Computer Chicago

原价 1325销量 0

￥1325 中华商务图书专营店
Based Fpga Verification 功能验证基于动态可重构fpga系统 Systems Reconfigurable Dynamically 海外直订Functional

原价 1325销量 0

￥1325 中华商务图书专营店
and Biological Electronic 海外直订Simulation Verification 电子与生物系统仿真与验证 Systems

原价 1325销量 0

￥1325 中华商务图书专营店
计算机辅助验证：第10届国际 10th International Conference Cav Verification Aided 海外直订Computer Vancouver

原价 1325销量 0

￥1325 中华商务图书专营店
Down Appro 可编程嵌入式海外直订Functional Programmable Top Embedded 功能 Verification Architectures 体系结构

原价 1325销量 0

￥1325 中华商务图书专营店
图像分析和条约核 Treaty 海外直订Object Image Verification Analysis Based Approaches New and Remote 基于物体

原价 1325销量 0

￥1325 中华商务图书专营店
在 the Theory 验证 Essays Occasi 理论与实践 and 海外直订Verification Manna Practice Zohar Dedicated

原价 1325销量 0

￥1325 中华商务图书专营店
海外直订Computational and Transport Methods 运输计算方法：验证与验证 Validation Verification

原价 1325销量 0

￥1325 中华商务图书专营店
Roadmap Verification Property 海外直订A for Formal 属性验证形式路线图

原价 1325销量 0

￥1325 中华商务图书专营店
海外直订Reactive Verification Modelling Specification Systems 规范和验证反应系统：建模 and

原价 1284销量 0

￥1284 中华商务图书专营店
海外直订Verification Programs Sequential and 验证顺序和并发程序 Concurrent

原价 1233销量 0

￥1233 中华商务图书专营店
System Desi 验证海外直订High Methods Verification and Level Tools for 用于验证系统级设计

原价 1203销量 0

￥1203 中华商务图书专营店
Foundati 利用形式方法海外直订Leveraging Formal Validation Methods Applications Verification and 验证和验证

原价 1203销量 0

￥1203 中华商务图书专营店

上一页 123 4 5 6 7 8 9 10 11 12 14 下一页

客服