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

Home

Barnes and Noble

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

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...
Barnes and Noble

Proof, Logic and Formalization

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

Formal Analysis by Abstract Interpretation: Case Studies Modern Protocols

Current price: $64.99
From Barnes and Noble
Formal Methods in Artificial Intelligence
Loading Inventory...
Barnes and Noble

Formal Methods in Artificial Intelligence

Current price: $51.00
From Barnes and Noble
Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, Proceedings
Loading Inventory...
Barnes and Noble

Interactive Theorem Proving: 7th International Conference, ITP 2016, Nancy, France, August 22-25, Proceedings

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