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

Home

Barnes and Noble

A Roadmap for Formal Property Verification

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

You May Also Like

Proof, Logic and Formalization
Loading Inventory...

Proof, Logic and Formalization

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

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

Barnes and Noble
Current price: $74.95
Formal Analysis by Abstract Interpretation: Case Studies Modern Protocols
Loading Inventory...

Formal Analysis by Abstract Interpretation: Case Studies Modern Protocols

Barnes and Noble
Current price: $64.99
Powered by Adeptmind