关注微信公众号查券更方便
AATCC CVC 25摩擦校正布摩擦校准布Crockmeter Verification Clot
AATCC CVC 25摩擦校正布Crockmeter Verification Clot
【预售】Electronic Design Automation for IC System Design, Verification, and Testing
【预订】Verification of Computer Codes in Computational Science and Engineering
【预售】Verification, Validation, And Testing Of Engineered Systems
预售 按需印刷 Gender Verification and the Making of the Female Body in Sport
预订 Numerical Verification Methods and Computer-Assisted Proofs for Partial Differential Equations
[预订]Challenges of Software Verification
海外直订医药图书Verification of the Biological and Toxin Weapons Convention 核查《生物和毒素武器公约》
【预售】On-Treatment Verification Imaging
【预售】Practical Design Verification
[预订]Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essay 9783031314759
海外直订Nuclear Non-Proliferation and Arms Control Verification: Innovative Systems Conc 核不扩散与军备控制核查:创
[预订]Polynomial Formal Verification of Approximate Functions 9783658418878
【预售】Autonomic Networking-On-Chip: Bio-Inspired Specification, Development, and Verification
海外直订Gender Verification and the Making of the Female Body in Sport: A History of the 性别验证与女性身体在体育运
海外直订Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic 时间Petri网和时间自动机验
海外直订Gene Network Inference: Verification of Methods for Systems Genetics Data 基因推理：系统遗传学数据方法
海外直订Leveraging Applications of Formal Methods, Verification and Validation: Third In 利用正式方法的应用、验证和
海外直订Post-Silicon and Runtime Verification for Modern Processors 现代处理器的后硅和运行时验证
海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 粒子探测器的数字信号处理器:设
海外直订A Digital Signal Processor for Particle Detectors: Design, Verification and Test 用于粒子探测器的数字信号处
海外直订Hardware Verification with C++: A Practitioner's Handbook C++硬件验证：实践者手册
海外直订医药图书On-Treatment Verification Imaging: A Study Guide for IGRT 关于治疗验证成像：一个IGRT的研究指南
海外直订医药图书Medical Device Software: Verification, Validation, and Compliance 医疗器械软件：验证、验证和合规性
海外直订System Verification: Proving the Design Solution Satisfies the Requirements 系统验证：证明设计方案满足要求
海外直订Automated Validation & Verification of Uml/Ocl Models Using Satisfiability Solve 使用可满足性求解器的
海外直订Verification and Validation in Systems Engineering: Assessing Uml/Sysml Design M 系统工程中的验证与确认：评
海外直订Low-Power Design and Power-Aware Verification 低功耗设计和功率感知验证
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法与
海外直订Numerical Verification Methods and Computer-Assisted Proofs for Partial Differen 偏微分方程的数值验证方法及
海外直订Formal System Verification: State-Of The-Art and Future Trends 正式系统验证:技术现状和未来趋势
预售 按需印刷 Challenges Of Verification
海外直订Formal Verification of Simulink/Stateflow Diagrams: A Deductive Approach Simulink/ statflow图的形式化
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles
【预订】Validation and Verification of Automated Systems
海外直订Deductive Software Verification - The KeY Book 演绎软件验证-关键手册
海外直订Temporal Verification of Reactive Systems: Safety 反应系统的时间验证：安全性
海外直订Polynomial Formal Verification of Approximate Functions 近似函数的多项式形式验证
[预订]Concise Guide to Software Verification: From Model Checking to Annotation Checking 9783031301667
现货Logic Synthesis and Verification Algorithms
海外直订Scalable Techniques for Formal Verification 形式验证的可伸缩技术
海外直订Verification Methodology Manual for Systemverilog Systemverilog验证方法手册
海外直订Hardware Verification with C++: A Practitioner S Handbook C++硬件验证：实践者手册
海外直订Open Verification Methodology Cookbook 开放式验证方法手册
海外直订Design and Verification of Microprocessor Systems for High-Assurance Application 高保证应用微处理器系统的设
海外直订Electronic Design Automation for IC System Design, Verification, and Testing
海外直订Current Trends in Hardware Verification and Automated Theorem Proving 硬件验证和自动定理证明的当前趋势
海外直订Computer Aided Verification: 22nd International Conference, Cav 2010, Edinburgh, 计算机辅助验证：第22届国际
海外直订Functional Verification of Programmable Embedded Architectures: A Top-Down Appro 可编程嵌入式体系结构的功能
海外直订医药图书Computer Aided Verification: 12th International Conference, Cav 2000 Chicago, Il 计算机辅助验证：第
海外直订Object-Based Image Analysis and Treaty Verification: New Approaches in Remote Se 基于物体的图像分析和条约核
海外直订Computer Aided Verification: 21st International Conference, CAV 2009, Grenoble, 计算机辅助验证：第21届国际
海外直订Accuracy Verification Methods: Theory and Algorithms 精度验证方法：理论与算法
海外直订Functional Verification of Dynamically Reconfigurable Fpga-Based Systems 基于动态可重构fpga系统的功能验证
海外直订Simulation and Verification of Electronic and Biological Systems 电子与生物系统仿真与验证“，
海外直订Verification: Theory and Practice: Essays Dedicated to Zohar Manna on the Occasi 验证:理论与实践:在
海外直订Computer Aided Verification: 10th International Conference, Cav'98, Vancouver, B 计算机辅助验证：第10届国际
海外直订Computational Methods in Transport: Verification and Validation 运输计算方法：验证与验证
海外直订A Roadmap for Formal Property Verification 形式属性验证的路线图
【3-4周达】Program Verification : Fundamental Issues in Computer Science [9789401047890]
海外直订Reactive Systems: Modelling, Specification and Verification 反应系统：建模、规范和验证
海外直订Verification of Sequential and Concurrent Programs 顺序和并发程序的验证
【预订】Runtime Verification 9783031171956
【预订】Software Verification and Formal Methods for ML-Enabled Autonomous S 9783031212215
海外直订High-Level Verification: Methods and Tools for Verification of System-Level Desi 验证:用于验证系统级设计的
海外直订Leveraging Applications of Formal Methods, Verification and Validation: Foundati 利用形式方法、验证和验证的
[预订]Tools for Design, Implementation and Verification of Emerging Information Technologies 9783031334573
海外直订Extending Key for the Verification of C Programs C程序验证的扩展密钥
海外直订Intelligent Signature Verification and Analysis 智能签名验证与分析
Flame Relay R4343B-1029 Honeywell 115VAC Auto Verification R
[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601
海外直订Fundamentals of IP and Soc Security: Design, Verification, and Debug IP和Soc安全基础:设计，验证和调试
海外直订String Analysis for Software Verification and Security 用于软件验证和安全的字符串分析
【3-4周达】精装 Electronic Design Automation for IC System Design, Verification, and Testing [9781482254624]
海外直订Logic Synthesis and Verification Algorithms 逻辑综合与验证算法
【预订】Software Verification
【预订】Tools for Design, Implementation and Verification of Emerging Information Technologies: 15th Eai Internati...
【预订】Deductive Software Verification: Future Perspectives
【预订】Runtime Verification
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Applications
【预订】Genetic Design Automation: A Practical Approach for the Analysis, Verification and Syn 9783030523572
【预订】Automated Technology for Verification and Analysis
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Tools and Trends 9783030837228
【预订】Leveraging Applications of Formal Methods, Verification and Validation: Engineering Principles
NEW LOT OF 2 ABB ATS4000651 VERIFICATION TOOLS
![[预订]Software Verification: 13th International Conference, VSTTE 2021, New Haven, CT, USA, October 18-19, 9783030955601](/Public/skin2/static/tqkpc/images/grey.gif)
