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

Home

Barnes and Noble

The Foundations of Program Verification

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

You May Also Like

A Roadmap for Formal Property Verification
Barnes and Noble

A Roadmap for Formal Property Verification

From Barnes and Noble
Foundations of Quantum Programming
Barnes and Noble

Foundations of Quantum Programming

From Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1
Barnes and Noble

Introduction to Formal Hardware Verification / Edition 1

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

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

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

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

From Barnes and Noble
High-Level Verification: Methods and Tools for Verification of System-Level Designs
Barnes and Noble

High-Level Verification: Methods and Tools for Verification of System-Level Designs

From Barnes and Noble
SAT-Based Scalable Formal Verification Solutions / Edition 1
Barnes and Noble

SAT-Based Scalable Formal Verification Solutions / Edition 1

From Barnes and Noble
Constraint-Based Verification / Edition 1
Barnes and Noble

Constraint-Based Verification / Edition 1

From Barnes and Noble
The Foundations of Mathematics
Barnes and Noble

The Foundations of Mathematics

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

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

From Barnes and Noble
Proof, Logic and Formalization
Barnes and Noble

Proof, Logic and Formalization

From Barnes and Noble
Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on Occasion His 60th Birthday, Part III
Barnes and Noble

Principles of Verification: Cycling the Probabilistic Landscape: Essays Dedicated to Joost-Pieter Katoen on Occasion His 60th Birthday, Part III

From Barnes and Noble
Minimal Verificationism: On the Limits of Knowledge
Barnes and Noble

Minimal Verificationism: On the Limits of Knowledge

From Barnes and Noble
Foundations to Truth
Barnes and Noble

Foundations to Truth

From Barnes and Noble
Handbook of Computer Aided Verification
Barnes and Noble

Handbook of Computer Aided Verification

From Barnes and Noble
Foundations of Probabilistic Logic Programming: Languages, Semantics
Barnes and Noble

Foundations of Probabilistic Logic Programming: Languages, Semantics

From Barnes and Noble
Powered by Adeptmind