The following text field will produce suggestions that follow it as you type.

Home

Barnes and Noble

Accuracy Verification Methods: Theory and Algorithms

Unfortunately, this item is no longer available, but we found some similar items you might like.

You May Also Like

Privately and Publicly Verifiable Computing Techniques: A Survey

Privately and Publicly Verifiable Computing Techniques: A Survey

Barnes and Noble
Handbook of Computer Aided Verification

Handbook of Computer Aided Verification

Barnes and Noble
The Foundations of Program Verification

The Foundations of Program Verification

Barnes and Noble
Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

Barnes and Noble
Effective Functional Verification: Principles and Processes

Effective Functional Verification: Principles and Processes

Barnes and Noble
Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Current Trends in Hardware Verification and Automated Theorem Proving / Edition 1

Barnes and Noble
Verification Methodology Manual for SystemVerilog / Edition 1

Verification Methodology Manual for SystemVerilog / Edition 1

Barnes and Noble
High-Level Verification: Methods and Tools for Verification of System-Level Designs

High-Level Verification: Methods and Tools for Verification of System-Level Designs

Barnes and Noble
Requirement Validation: An Introduction

Requirement Validation: An Introduction

Barnes and Noble
SAT-Based Scalable Formal Verification Solutions / Edition 1

SAT-Based Scalable Formal Verification Solutions / Edition 1

Barnes and Noble
System Verification: Proving the Design Solution Satisfies the Requirements / Edition 2

System Verification: Proving the Design Solution Satisfies the Requirements / Edition 2

Barnes and Noble
Simulation Validation: A Confidence Assessment Methodology / Edition 1

Simulation Validation: A Confidence Assessment Methodology / Edition 1

Barnes and Noble
System-on-Chip Security: Validation and Verification

System-on-Chip Security: Validation and Verification

Barnes and Noble
Open Verification Methodology Cookbook / Edition 1

Open Verification Methodology Cookbook / Edition 1

Barnes and Noble
Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications

Formal Methods for Safe Autonomy: Data-Driven Verification, Synthesis, and Applications

Barnes and Noble
Minimal Verificationism: On the Limits of Knowledge

Minimal Verificationism: On the Limits of Knowledge

Barnes and Noble
Powered by Adeptmind