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

Home

Barnes and Noble

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

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

You May Also Like

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

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

Current price: $74.95
From Barnes and Noble
Powered by Adeptmind