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

Home

Barnes and Noble

SAT-Based Scalable Formal Verification Solutions / Edition 1

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

You May Also Like

Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1

Introduction to Formal Hardware Verification / 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
Logic Synthesis and Verification / Edition 1

Logic Synthesis and Verification / Edition 1

Barnes and Noble
A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

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
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
Advances in Hardware Design and Verification / Edition 1

Advances in Hardware Design and Verification / Edition 1

Barnes and Noble
The Foundations of Program Verification

The Foundations of Program Verification

Barnes and Noble
Software Verification and Validation: An Engineering and Scientific Approach / Edition 1

Software Verification and Validation: An Engineering and Scientific Approach / Edition 1

Barnes and Noble
Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Compositional Verification of Concurrent and Real-Time Systems / Edition 1

Barnes and Noble
Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1

Systems and Software Verification: Model-Checking Techniques and Tools / Edition 1

Barnes and Noble
Hybrid Systems III: Verification and Control / Edition 1

Hybrid Systems III: Verification and Control / Edition 1

Barnes and Noble
Handbook of Computer Aided Verification

Handbook of Computer Aided Verification

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
Embedded System Design: Modeling, Synthesis and Verification / Edition 1

Embedded System Design: Modeling, Synthesis and Verification / Edition 1

Barnes and Noble
Powered by Adeptmind