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

Automated Theorem Proving in Software Engineering / Edition 1

Automated Theorem Proving in Software Engineering / Edition 1

Barnes and Noble
Systems of Formal Logic

Systems of Formal Logic

Barnes and Noble
Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

Barnes and Noble
Formal Logic

Formal Logic

Barnes and Noble
Formal Analysis: An Introduction

Formal Analysis: An Introduction

Barnes and Noble
Automated Theorem Proving: Theory and Practice / Edition 1

Automated Theorem Proving: Theory and Practice / Edition 1

Barnes and Noble
Representation Theorems in Computer Science: A Treatment in Logic Engineering

Representation Theorems in Computer Science: A Treatment in Logic Engineering

Barnes and Noble
Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic FloC Oxford, UK, July 9-12, Proceedings

Interactive Theorem Proving: 9th International Conference, ITP 2018, Held as Part of the Federated Logic FloC Oxford, UK, July 9-12, Proceedings

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
Formal Verification of Circuits

Formal Verification of Circuits

Barnes and Noble
Towards Analytical Techniques for Systems Engineering Applications

Towards Analytical Techniques for Systems Engineering Applications

Barnes and Noble
Verifying Temporal Properties of Systems

Verifying Temporal Properties of Systems

Barnes and Noble
System of Systems Modeling and Analysis

System of Systems Modeling and Analysis

Barnes and Noble
Energy Systems Modeling and Policy Analysis

Energy Systems Modeling and Policy Analysis

Barnes and Noble
Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Complete Symbolic Simulation of SystemC Models: Efficient Formal Verification of Finite Non-Terminating Programs

Barnes and Noble
A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Barnes and Noble
Powered by Adeptmind