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

Home

Barnes and Noble

Constraint-Based Verification / Edition 1

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

You May Also Like

Assertion-Based Design / Edition 2
Barnes and Noble

Assertion-Based Design / Edition 2

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

Hybrid Systems III: Verification and Control / Edition 1

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

SAT-Based Scalable Formal Verification Solutions / Edition 1

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

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

From Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1
Barnes and Noble

Introduction to Formal Hardware Verification / Edition 1

From Barnes and Noble
Handbook of Computer Aided Verification
Barnes and Noble

Handbook of Computer Aided Verification

From Barnes and Noble
Logic Synthesis and Verification / Edition 1
Barnes and Noble

Logic Synthesis and Verification / Edition 1

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

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

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

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

From Barnes and Noble
Advances in Hardware Design and Verification / Edition 1
Barnes and Noble

Advances in Hardware Design and Verification / Edition 1

From Barnes and Noble
Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1
Barnes and Noble

Advanced Verification Techniques: A SystemC Based Approach for Successful Tapeout / Edition 1

From Barnes and Noble
Verification Methodology Manual for SystemVerilog / Edition 1
Barnes and Noble

Verification Methodology Manual for SystemVerilog / Edition 1

From Barnes and Noble
The Foundations of Program Verification
Barnes and Noble

The Foundations of Program Verification

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

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

From Barnes and Noble
Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog / Edition 2
Barnes and Noble

Principles of Verifiable RTL Design: A functional coding style supporting verification processes in Verilog / Edition 2

From Barnes and Noble
Protocol Specification, Testing and Verification XIV / Edition 1
Barnes and Noble

Protocol Specification, Testing and Verification XIV / Edition 1

From Barnes and Noble
Powered by Adeptmind