Verification什么牌子好,Verification哪里有卖? - 第11页 - 宝妈美购物网

全部>“Verification” 共897个商品

预售 Verification Runtime
【预售】Runtime Verification
￥677券后￥7110人已购买
优惠券￥34 领券购买 
9783540786351 Verification Operational Semantics
【预订】Operational Semantics and Verification of Security Protocols 9783540786351
￥677券后￥7110人已购买
优惠券￥34 领券购买 
9783031197611 Applications Verification Leveraging
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197611
￥677券后￥7110人已购买
优惠券￥34 领券购买 
9783031433658 Verification Reliability Modelling
[预订]Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certifi 9783031433658
￥677券后￥7110人已购买
优惠券￥34 领券购买 
Verification 预订 Software Guide
预订 Guide to Software Verification with Frama-C
￥677券后￥7110人已购买
优惠券￥34 领券购买 
9783031171956 Verification 预订 Runtime
【预订】Runtime Verification 9783031171956
￥689券后￥7230人已购买
优惠券￥34 领券购买 
Satisfiability 9783031427459 Verification Processes
[预订]Verification of Data-Aware Processes Via Satisfiability Modulo Theories 9783031427459
￥689券后￥7230人已购买
优惠券￥34 领券购买 
Applications Verification Engineering Leveraging
预订 Leveraging Applications of Formal Methods, Verification and Validation. Rigorous Engineering of Collective Adaptive
￥689券后￥7230人已购买
优惠券￥34 领券购买 
Methodologies Applications Verification Engineering
预订 Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies: 12th In
￥689券后￥7230人已购买
优惠券￥34 领券购买 
Probabilistic Verification Principles Landscape
预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ
￥689券后￥7230人已购买
优惠券￥34 领券购买 
9783659579073 Verification Procedure 预订
预订 Kosovo’s Verification Procedure for Diplomas of Private Colleges: 9783659579073
￥694券后￥7280人已购买
优惠券￥34 领券购买 
验证 Applications Verification Leveraging
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Adaptati 利用形式方法、验证和验证的
￥709券后￥7390人已购买
优惠券￥30 领券购买 
验证 Applications Verification Leveraging
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Software 利用形式方法、验证和验证的
￥709券后￥7390人已购买
优惠券￥30 领券购买 
概率 Verification Principles 景观
海外直订Principles of Verification: Cycling the Probabil... 验证原则：循环概率景观
￥709券后￥7390人已购买
优惠券￥30 领券购买 
Verification 分辨 Simulations Resolving
海外直订Radar Forward Operator for Verification of Cloud Resolving Simulations within th 在COSMO模型中验证云分辨模
￥711.5券后￥741.50人已购买
优惠券￥30 领券购买 
Systemverilog Verification Testbench Learning
海外直订Systemverilog for Verification: A Guide to Learning the Testbench Language Featu 用于验证的Syste
￥717券后￥7470人已购买
优惠券￥30 领券购买 
9783319133379 Verification 预订 Hardware
预订Hardware and Software: Verification and Testing[9783319133379]
￥708券后￥7480人已购买
优惠券￥40 领券购买 
Interpretation International Verification Verificati
海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati
￥723券后￥7530人已购买
优惠券￥30 领券购买 
验证 Applications Verification Leveraging
海外直订Leveraging Applications of Formal Methods, Verification and Validation. Practice 利用形式方法、验证和验证的
￥727券后￥7570人已购买
优惠券￥30 领券购买 
形式化方法 Verification Software 自治
海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法
￥727券后￥7570人已购买
优惠券￥30 领券购买 
2025 International Verification Proceedings
预订 Runtime Verification: 25th International Conference, RV 2025, Graz, Austria, September 15–19, 2025, Proceedings 运
￥724券后￥7580人已购买
优惠券￥34 领券购买 
语义 Verification Operational Semantics
海外直订Operational Semantics and Verification of Security Protocols 安全协议的操作语义与验证
￥730券后￥7600人已购买
优惠券￥30 领券购买 
Verification detection software 故障
海外直订Verification-based software-fault detection 进行软件故障检测
￥730券后￥7600人已购买
优惠券￥30 领券购买 
简明 Verification Annotation Software
海外直订Concise Guide to Software Verification: From Model Checking to Annotation Checki 软件验证简明指南:从模型检
￥732券后￥7620人已购买
优惠券￥30 领券购买 
Interpretation International Verification 抽象
海外直订Verification, Model Checking, and Abstract Interpretation: 24th International Co 验证，模型检查和抽象解释:
￥735券后￥7650人已购买
优惠券￥30 领券购买 
Implementation Specification Verification Engineering
【预订】Software Engineering: Specification, Implementation, Verification
￥732券后￥7660人已购买
优惠券￥34 领券购买 
9783030891589 Applications Verification Leveraging
【预订】Leveraging Applications of Formal Methods, Verification and Validation 9783030891589
￥732券后￥7660人已购买
优惠券￥34 领券购买 
9783031197581 Applications Verification Leveraging
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197581
￥732券后￥7660人已购买
优惠券￥34 领券购买 
9783031197550 Applications Verification Leveraging
【预订】Leveraging Applications of Formal Methods, Verification and Validati 9783031197550
￥732券后￥7660人已购买
优惠券￥34 领券购买 
9783031442667 Verification 预订 Runtime
[预订]Runtime Verification 9783031442667
￥732券后￥7660人已购买
优惠券￥34 领券购买 
Probabilistic Verification Principles Landscape
预订 Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on the Occ
￥732券后￥7660人已购买
优惠券￥34 领券购买 
建构 Verification Construction Determined
海外直订Self-Determined Learning Theory: Construction, Verification, and Evaluation 自主学习理论：建构、验证与评价
￥739券后￥7690人已购买
优惠券￥30 领券购买 
2025 International Verification Conference
预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding
￥735券后￥7690人已购买
优惠券￥34 领券购买 
2025 International Verification Conference
预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding
￥735券后￥7690人已购买
优惠券￥34 领券购买 
2025 International Verification Conference
预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding
￥735券后￥7690人已购买
优惠券￥34 领券购买 
2025 International Verification Conference
预订 Computer Aided Verification: 37th International Conference, CAV 2025, Zagreb, Croatia, July 23-25, 2025, Proceeding
￥735券后￥7690人已购买
优惠券￥34 领券购买 
预售 Verification Society Rituals
【预售】The Audit Society: Rituals of Verification
￥736券后￥7700人已购买
优惠券￥34 领券购买 
9783639081428 Verification Interlock Analysis
按需印刷Formal Analysis and Verification of Safety Interlock Systems[9783639081428]
￥730券后￥7700人已购买
优惠券￥40 领券购买 
9781013271151 Verification Computer 印刷
按需印刷Computer Aided Verification[9781013271151]
￥732券后￥7720人已购买
优惠券￥40 领券购买 
9781013271014 Verification Computer 印刷
按需印刷Computer Aided Verification[9781013271014]
￥734券后￥7740人已购买
优惠券￥40 领券购买 

上一页 1 ... 9 10 11 12 13 ... 23 下一页