您现在所在的位置:首页>verification

verification

【3-4周达】Next Generation Design and Verification Methodologies for Distributed Embedded Control Sys... [9789048175833]

【3-4周达】Next Generation Design and Verification Methodologies for Distributed Embedded Control Sys... [9789048175833]

【3-4周达】On-Treatment Verification Imaging: A Study Guide for Igrt [9780367779900]

【3-4周达】On-Treatment Verification Imaging: A Study Guide for Igrt [9780367779900]

海外直订Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Gree 计算机辅助验证:1993年6月

海外直订Computer Aided Verification: 5th International Conference, Cav'93, Elounda, Gree 计算机辅助验证:1993年6月

现货 英文原版 Interactive Systems. Design, Specification, and Verification:7th International Wo 9783540416630

现货 英文原版 Interactive Systems. Design, Specification, and Verification:7th International Wo 9783540416630

海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

海外直订Software Verification and Formal Methods for ML-... 支持ml的自治系统的软件验证和形式化方法

海外直订Systemverilog for Verification: A Guide to Learning the Testbench Language Featu Systemveri

海外直订Systemverilog for Verification: A Guide to Learning the Testbench Language Featu Systemveri

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

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

海外直订Hardware/Software Co-Design and Co-Verification 硬件/软件协同设计和协同验证

海外直订Hardware/Software Co-Design and Co-Verification 硬件/软件协同设计和协同验证

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

预订 Formal Semantics and Verification Of Use Case Maps [9783639514995]

预订 Formal Semantics and Verification Of Use Case Maps [9783639514995]

【3-4周达】Verification and Evaluation of Computer and Communication Systems: 12th International Conf... [9783030003586]

【3-4周达】Verification and Evaluation of Computer and Communication Systems: 12th International Conf... [9783030003586]

【3-4周达】Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost... [9783031757747]

【3-4周达】Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost... [9783031757747]

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

海外直订Verification, Model Checking, and Abstract Interpretation: 25th International Co Verificati

【3-4周达】Guidelines on Verification of Measles Elimination in the Western Pacific Region [9789290616290]

【3-4周达】Guidelines on Verification of Measles Elimination in the Western Pacific Region [9789290616290]

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal,  Computer A

海外直订Computer Aided Verification: 36th International Conference, Cav 2024, Montreal, Computer A

【3-4周达】精装 Standardized Functional Verification [9780387717326]

【3-4周达】精装 Standardized Functional Verification [9780387717326]

海外直订Wind Turbine System Design: Nacelles, Drivetrains and Verification 风力发电机系统设计:机舱,传动系统和验证

海外直订Wind Turbine System Design: Nacelles, Drivetrains and Verification 风力发电机系统设计:机舱,传动系统和验证

海外直订Universal Verification Methodology Based Verification Environment 基于通用验证方法的验证环境

海外直订Universal Verification Methodology Based Verification Environment 基于通用验证方法的验证环境

海外直订Computer Aided Verification 计算机辅助检定

海外直订Computer Aided Verification 计算机辅助检定

【3-4周达】Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July... [9783030816841]

【3-4周达】Computer Aided Verification : 33rd International Conference, CAV 2021, Virtual Event, July... [9783030816841]

海外直订Verification-based software-fault detection 进行软件故障检测

海外直订Verification-based software-fault detection 进行软件故障检测

【3-4周达】Universal Verification Methodology Based Verification Environment: Theory and Practice (Au... [9783659476044]

【3-4周达】Universal Verification Methodology Based Verification Environment: Theory and Practice (Au... [9783659476044]

海外直订Verification, Validation and Testing in Software Engineering 软件工程中的验证、确认和测试

海外直订Verification, Validation and Testing in Software Engineering 软件工程中的验证、确认和测试

【3-4周达】精装 Verification and Validation of Complex Systems: Human Factors Issues [9783540565741]

【3-4周达】精装 Verification and Validation of Complex Systems: Human Factors Issues [9783540565741]

海外直订Formal Verification of Concurrent Embedded Software 并行嵌入式软件的形式化验证

海外直订Formal Verification of Concurrent Embedded Software 并行嵌入式软件的形式化验证

海外直订Radar Forward Operator for Verification of Cloud Resolving Simulations within th 在COSMO模型中验证云分辨模

海外直订Radar Forward Operator for Verification of Cloud Resolving Simulations within th 在COSMO模型中验证云分辨模

海外直订Embedded Systems Handbook: Embedded Systems Design and Verification 嵌入式系统手册:嵌入式系统设计与验证

海外直订Embedded Systems Handbook: Embedded Systems Design and Verification 嵌入式系统手册:嵌入式系统设计与验证

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

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

预订不退不换Formal Verification of Control System Software[9780691181301]

预订不退不换Formal Verification of Control System Software[9780691181301]

海外直订Verification in Economics and History: A Sequel to 'Scientifization' 经济学与历史学中的验证:“科学化”的续

海外直订Verification in Economics and History: A Sequel to 'Scientifization' 经济学与历史学中的验证:“科学化”的续