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

verification

预订 精装 科学计算中的验证、确认和不确定性量化 Verification, Validation, and Uncertainty Quantificati... [9781316516133]

预订 精装 科学计算中的验证、确认和不确定性量化 Verification, Validation, and Uncertainty Quantificati... [9781316516133]

【3-4周达】精装 Computer Aided Verification [9781013270994]

【3-4周达】精装 Computer Aided Verification [9781013270994]

【3-4周达】Formal Verification of Just–in–Time Compilation [9798400713781]

【3-4周达】Formal Verification of Just–in–Time Compilation [9798400713781]

【3-4周达】精装 Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedde... [9780792377375]

【3-4周达】精装 Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedde... [9780792377375]

【3-4周达】精装 Computer Aided Verification [9781013271014]

【3-4周达】精装 Computer Aided Verification [9781013271014]

【3-4周达】Tool Support for System Specification, Development and Verification [9783211832820]

【3-4周达】Tool Support for System Specification, Development and Verification [9783211832820]

预订 101 Topics for Clinical Microbiology Laboratory Leaders Accreditation, Verification, Quality Systems, and More 临床

预订 101 Topics for Clinical Microbiology Laboratory Leaders Accreditation, Verification, Quality Systems, and More 临床

【预售】Higher Order Logic and Hardware Verification

【预售】Higher Order Logic and Hardware Verification

【预售】Higher Order Logic and Hardware Verification

【预售】Higher Order Logic and Hardware Verification

【预售】Runtime Verification

【预售】Runtime Verification

【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824

【预订】Verification, Model Checking, and Abstract Interpretation 9783030945824

【预订】Concurrency Verification

【预订】Concurrency Verification

【预订】Reliability Verification, Testing, and Analysis in Engineering Design

【预订】Reliability Verification, Testing, and Analysis in Engineering Design

【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E

【预售】Forecast Verification - a Practioner’s Guide in Atmospheric Science 2E

【预订】Computer Aided Verification

【预订】Computer Aided Verification

[预订]On-Treatment Verification Imaging 9780367779900

[预订]On-Treatment Verification Imaging 9780367779900

【预售】Computer-Aided Verification of Coordinating Proce

【预售】Computer-Aided Verification of Coordinating Proce

【预订】Formal Verification of Control System Software

【预订】Formal Verification of Control System Software

预售 按需印刷 Verification

预售 按需印刷 Verification

【预订】Leveraging Applications of Formal Methods, Verification and Validation 9783030891589

【预订】Leveraging Applications of Formal Methods, Verification and Validation 9783030891589

【3-4周达】精装 Visual Journalism and Verification at War: Norwegian and Swedish News Outlets Coverin... [9781032763354]

【3-4周达】精装 Visual Journalism and Verification at War: Norwegian and Swedish News Outlets Coverin... [9781032763354]

【预订】Finite Element Analysis - Method, Verification And Validation, Second Edition 9781119426424

【预订】Finite Element Analysis - Method, Verification And Validation, Second Edition 9781119426424

【预售】The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems

【预售】The Inverse Method / Parametric Verification Of Real-Time Unbedded Systems

【预订】Computer-Aided Verification of Coordinating Processes

【预订】Computer-Aided Verification of Coordinating Processes

【预订】Modeling and Verification of Real-Time Systems

【预订】Modeling and Verification of Real-Time Systems

【预售】Verification of Communication Protocol

【预售】Verification of Communication Protocol

【预订】Petri Nets / Fundamental Models, Verification and Applications

【预订】Petri Nets / Fundamental Models, Verification and Applications

【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

【预订】Formal Verification of Floating-Point Hardware Design: A Mathematical Approach

【预订】Verification, Model Checking, and Abstract Interpretation

【预订】Verification, Model Checking, and Abstract Interpretation

[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness

[预订]Introducing Software Verification with Dafny Language: Proving Program Correctness