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

Home

Barnes and Noble

Automated Theorem Proving in Software Engineering / Edition 1

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

You May Also Like

Automated Theorem Proving: Theory and Practice / Edition 1

Automated Theorem Proving: Theory and Practice / Edition 1

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
Computer Aided Proofs in Analysis / Edition 1

Computer Aided Proofs in Analysis / Edition 1

Barnes and Noble
Automated Theory Formation in Pure Mathematics

Automated Theory Formation in Pure Mathematics

Barnes and Noble
Theorems, Corollaries, Lemmas, and Methods of Proof / Edition 1

Theorems, Corollaries, Lemmas, and Methods of Proof / Edition 1

Barnes and Noble
Formal Foundations for Software Engineering Methods / Edition 1

Formal Foundations for Software Engineering Methods / Edition 1

Barnes and Noble
Introduction to Mathematical Proofs / Edition 2

Introduction to Mathematical Proofs / Edition 2

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
Automated Mathematical Induction / Edition 1

Automated Mathematical Induction / Edition 1

Barnes and Noble
An Introduction to Mathematical Proofs / Edition 1

An Introduction to Mathematical Proofs / Edition 1

Barnes and Noble
Applied Proof Theory: Proof Interpretations and their Use in Mathematics / Edition 1

Applied Proof Theory: Proof Interpretations and their Use in Mathematics / Edition 1

Barnes and Noble
Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Barnes and Noble
A Logical Introduction to Proof / Edition 1

A Logical Introduction to Proof / Edition 1

Barnes and Noble
Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Formal Analysis of Future Energy Systems Using Interactive Theorem Proving

Barnes and Noble
Experimentation in Software Engineering / Edition 1

Experimentation in Software Engineering / Edition 1

Barnes and Noble
Mathematical Logic and Theoretical Computer Science / Edition 1

Mathematical Logic and Theoretical Computer Science / Edition 1

Barnes and Noble
Powered by Adeptmind