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

Effective Functional Verification: Principles and Processes

Effective Functional Verification: Principles and Processes

Barnes and Noble
A Roadmap for Formal Property Verification

A Roadmap for Formal Property Verification

Barnes and Noble
Foundations of Quantum Programming

Foundations of Quantum Programming

Barnes and Noble
Introduction to Formal Hardware Verification / Edition 1

Introduction to Formal Hardware Verification / 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
Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

Fundamentals of Logic and Computation: With Practical Automated Reasoning Verification

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

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

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

SAT-Based Scalable Formal Verification Solutions / Edition 1

Barnes and Noble
Constraint-Based Verification / Edition 1

Constraint-Based Verification / Edition 1

Barnes and Noble
The Foundations of Mathematics

The Foundations of Mathematics

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

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

Barnes and Noble
Proof, Logic and Formalization

Proof, Logic and Formalization

Barnes and Noble
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

Functional Verification of Programmable Embedded Architectures: A Top-Down Approach

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

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

Barnes and Noble
Minimal Verificationism: On the Limits of Knowledge

Minimal Verificationism: On the Limits of Knowledge

Barnes and Noble
Foundations to Truth

Foundations to Truth

Barnes and Noble
Powered by Adeptmind