Skip to content
Menu Button
Scan a barcode
Scan
My Lists
Menu Button
Scan a barcode
Scan
Bigger Deals Days
Get 2x points sitewide!

Search page

1 - 50 of 53 results for "Program Verification"

Selected

Program Verification
Show Out Of Stock Items

Refine Your Search

Product Types

Genres

Formats

Conditions

Collectibles

Languages

Additional Options

Price Range

Exclude

Verification of Business Rules Programs
By
Verification of Business Rules Programs
$
54.99
Format: Paperback
Condition: New
See All 2 Editions
The Foundations of Program Verification, 2nd Edition
By and
The Foundations of Program Verification, 2nd Edition
$
49.67
Format: Paperback
Condition: New
See All 3 Editions
Verified Functional Programming in Agda
By
Verified Functional Programming in Agda
$
109.95
Format: Hardcover
Condition: New
See All 2 Editions
Rigorous Software Development: An Introduction to Program Verificati...
By , , , et al.
Rigorous Software Development: An Introduction to Program Verification
$
64.99
Format: Paperback
Condition: New
See All 2 Editions
Program Verification: Fundamental Issues in Computer Science
By
Program Verification: Fundamental Issues in Computer Science
$
359.00
Format: Paperback
Condition: New
See All 2 Editions
Correct-program Technology/Extensibility of Verifiers. Two Papers on...
By and
Correct-program Technology/Extensibility of Verifiers. Two Papers on Program Verification. By Martin Davis and J.T. Schwartz
$
20.96
Format: Paperback
Condition: New
See 1 Edition
Verification of Sequential and Concurrent Programs
By , ,
Verification of Sequential and Concurrent Programs
$
89.99
Format: Paperback
Condition: New
See All 6 Editions
Functional Verification of Programmable Embedded Architectures: A To...
By , ,
Functional Verification of Programmable Embedded Architectures: A Top-Down Approach
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
A Survey of Verification Techniques for Parallel Programs
By
A Survey of Verification Techniques for Parallel Programs
$
44.57
Format: Paperback
Condition: New
See 1 Edition
Theory of Program Structures: Schemes, Semantics, Verification
By
Theory of Program Structures: Schemes, Semantics, Verification
$
29.51
Format: Paperback
Condition: New
See 1 Edition
Environmental Technology Verification (ETV) Program Case Studies Dem...
Environmental Technology Verification (ETV) Program Case Studies Demonstrating Program Outcomes
$
17.75
Format: Paperback
Condition: New
See 1 Edition
Introducing Software Verification with Dafny Language
By
Introducing Software Verification with Dafny Language
$
24.71
Save $8.28! List Price: $32.99
Format: Paperback
Condition: New
See All 2 Editions
Modular Specification and Verification of Object-Oriented Programs
By
Modular Specification and Verification of Object-Oriented Programs
$
59.87
Format: Paperback
Condition: New
See 1 Edition
Extending Key for the Verification of C Programs
By
Extending Key for the Verification of C Programs
$
79.20
Save $27.80! List Price: $107.00
Format: Paperback
Condition: New
See 1 Edition
Program Construction and Verification
By
Program Construction and Verification
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Program Verification Using Ada (Cambridge Computer Science Texts)
By
Program Verification Using Ada (Cambridge Computer Science Texts)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Aliasing in Object-Oriented Programming: Types, Analysis and Verific...
Aliasing in Object-Oriented Programming: Types, Analysis and Verification
$
54.99
Format: Paperback
Condition: New
See 1 Edition
Program Dependences, Slicing, and Verification: Accurate and Scalabl...
By
Program Dependences, Slicing, and Verification: Accurate and Scalable Approaches for Concurrent Object Oriented Programs
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
An Introduction to Formal Program Verification
By and
An Introduction to Formal Program Verification
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Simplifying Runtime Verification of Distributed Programs: Ameliorati...
By
Simplifying Runtime Verification of Distributed Programs: Ameliorating the State Space Explosion Problem
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
A Transformational Approach to the Development and Verification of P...
By
A Transformational Approach to the Development and Verification of Programs in a Very High Level Language
$
33.95
Format: Hardcover
Condition: New
See All 2 Editions
Formal Methods of Programme Verification and Specification (Prentice...
By
Formal Methods of Programme Verification and Specification (Prentice-Hall Software Series)
$
18.69
Save $38.31! List Price: $57.00
Format: Hardcover
Condition: Acceptable
See 1 Edition
Environmental Technology Verification Program Advanced Monitoring Sy...
Environmental Technology Verification Program Advanced Monitoring Systems Center Test/Qa Plan for Verification of Ballast Water Exchange Screening Tools
$
15.75
Format: Paperback
Condition: New
See 1 Edition
Program Verification (International Computer Science Series)
By and
Program Verification (International Computer Science Series)
Temporarily Unavailable
0 people are interested in this title.
We receive about 1 copy per month.
Verification of Several Parallel Coordination Programs Based on Desc...
By
Verification of Several Parallel Coordination Programs Based on Descriptions of Their Reachability Sets
$
18.24
Format: Paperback
Condition: New
See 1 Edition
Rigorous Software Development
By , ,
Rigorous Software Development
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Programming Logics: An Introduction to Verification and Semantics
By
Programming Logics: An Introduction to Verification and Semantics
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Aspect-Oriented Programming with the e Verification Language: A Pra...
By
Aspect-Oriented Programming with the e Verification Language: A Pragmatic Guide for Testbench Developers (Systems on Silicon)
$
21.49
Save $68.46! List Price: $89.95
Format: Paperback
Condition: Very Good
See 1 Edition
Complete Symbolic Simulation of Systemc Models: Efficient Formal Ver...
By
Complete Symbolic Simulation of Systemc Models: Efficient Formal Verification of Finite Non-Terminating Programs
$
54.99
Format: Paperback
Condition: New
See 1 Edition
Hardware and Software: Verification and Testing: 4th International H...
By
Hardware and Software: Verification and Testing: 4th International Haifa Verification Conference, HVC 2008, Haifa, Israel, October 27-30, 2008, Revised ... / Programming and Software Engineering)
$
59.87
Format: Paperback
Condition: New
See 1 Edition
Automated Technology for Verification and Analysis: 6th Internationa...
Automated Technology for Verification and Analysis: 6th International Symposium, ATVA 2008, Seoul, Korea, October 20-23, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)
$
60.10
Format: Paperback
Condition: New
See 1 Edition
C++ Toolbox for Verified Computing I: Basic Numerical Problems
By , , , et al.
C++ Toolbox for Verified Computing I: Basic Numerical Problems
$
119.99
Format: Paperback
Condition: New
See 1 Edition
A programming logic: With an introduction to the PL/CV verifier
By
A programming logic: With an introduction to the PL/CV verifier
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Development of a verification program for deployable truss advanced ...
Development of a verification program for deployable truss advanced technology
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Numerical Toolbox for Verified Computing (Springer Series in Computa...
By , , , et al.
Numerical Toolbox for Verified Computing (Springer Series in Computational Mathematics)
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Analysis, Verification and Transformation for Declarative Programmin...
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems: Essays Dedicated to Manuel Hermenegildo on the Occasion ...
$
139.99
Format: Paperback
Condition: New
See 1 Edition
Columbus Learner Verified Edition II Explorers and Discoverers ERC S...
By
Columbus Learner Verified Edition II Explorers and Discoverers ERC Social Science Program
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Ssme Alternate Turbopump Development Program: Design Verification Sp...
By
Ssme Alternate Turbopump Development Program: Design Verification Specification for High-Pressure Fuel Turbopump
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
All About Maude - A High-Performance Logical Framework: How to Speci...
By , , , et al.
All About Maude - A High-Performance Logical Framework: How to Specify, Program, and Verify Systems in Rewriting Logic
$
99.99
Format: Hardcover
Condition: New
See All 2 Editions
Software Verification Based on Game Semantics and Process Algebra: A...
By
Software Verification Based on Game Semantics and Process Algebra: A Game Semantic Framework for Verifying Safety Properties of Open Programs
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Advanced Functional Programming: Monads, Continuations, Lazy Evaluat...
By
Advanced Functional Programming: Monads, Continuations, Lazy Evaluation, Type Systems, and Formal Verification in Racket (Master the Art of Lisp, ... to Advanced Language Engineering)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
PLC Commissioning and Startup Guide: A Practical Workflow for I/O Te...
By
PLC Commissioning and Startup Guide: A Practical Workflow for I/O Testing, Program Verification, Device Configuration, Fault Finding, and Production Startup
$
17.61
Format: Paperback
Condition: New
See 1 Edition
Construction, amélioration et vérification de programmes =: Proving ...
By
Construction, amélioration et vérification de programmes =: Proving and improving programs
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
School-meals programs, USDA has enhanced controls, but additional ve...
By
School-meals programs, USDA has enhanced controls, but additional verification could help ensure legitimate program access: report to congressional re
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Advanced Mathematical Programming in OCaml: Cryptography, Geometry, ...
By
Advanced Mathematical Programming in OCaml: Cryptography, Geometry, Differential Equations, and Formal Verification (Coq/Z3) (Mastering OCaml 2025 Roadmap)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Proof and Computation II: From Proof Theory and Univalent Mathematic...
Proof and Computation II: From Proof Theory and Univalent Mathematics to Program Extraction and Verification
$
148.00
Format: Hardcover
Condition: New
See 1 Edition
Veteran-owned small businesses :planning and data system for VAs Ver...
By
Veteran-owned small businesses :planning and data system for VAs Verification Program need improvement : report to congressional requesters.
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Protocol Gas Verification Program and Minimum Competency Requirement...
By
Protocol Gas Verification Program and Minimum Competency Requirements for Air Emission Testing (Us Environmental Protection Agency Regulation) (Epa) (2018 Edition)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Separation Logic for Multithreaded Object-Oriented Languages: Full-F...
By
Separation Logic for Multithreaded Object-Oriented Languages: Full-Fledged Verification and Automatic Parallelization of Programs
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Foreign Supplier Verification Programs for Importers of Food for Hum...
By
Foreign Supplier Verification Programs for Importers of Food for Humans and Animals (US Food and Drug Administration Regulation) (FDA)
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
of 2
Issues with your search? so we can make it easier for you to find products.

If you have order questions or need additional assistance, please visit Help & Support.

Trustpilot

Popular Categories

Website

My Account

Partnerships

Quick Help

About Us

ThriftBooks sells millions of used books at the lowest everyday prices. We personally assess every book's quality and offer rare, out-of-print treasures. We deliver the joy of reading in recyclable packaging with free standard shipping on US orders over $15. ThriftBooks.com. Read more. Spend less.

Follow Us

Link to Facebook
Link to Twitter
Link to Pinterest
Link to Tumblr
Link to Instagram
Copyright © 2026 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Notice | Cookie Preferences | Accessibility Statement
ThriftBooks ® and the ThriftBooks ® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured