Skip to content
Menu Button
Scan a barcode
Scan
My Lists
Menu Button
Scan a barcode
Scan
Give the Most Present Gift!
Explore Our Holiday Gift Guides →

Search page

1 - 12 of 12 results for "Concurrency verification"

Selected

Concurrency verification
Show Out Of Stock Items

Refine Your Search

Product Types

Genres

Formats

Conditions

Collectibles

Languages

Additional Options

Price Range

Exclude

Automated Verification of Concurrent Search Structures
By
Automated Verification of Concurrent Search Structures
$
59.99
Format: Paperback
Condition: New
See All 3 Editions
Compositional Verification of Concurrent and Real-Time Systems (The ...
By
Compositional Verification of Concurrent and Real-Time Systems (The Springer International Series in Engineering and Computer Science)
$
109.99
Format: Paperback
Condition: New
See All 2 Editions
Specification and Verification of Concurrent Systems (Workshops in c...
Specification and Verification of Concurrent Systems (Workshops in computing)
$
60.74
Format: Paperback
Condition: New
See 1 Edition
Formal Verification of Concurrent Embedded Software
By
Formal Verification of Concurrent Embedded Software
$
24.90
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
Concurrency Verification: Introduction to Compositional and Non-Comp...
By , , , et al.
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
$
102.47
Format: Paperback
Condition: New
See All 3 Editions
Verifying Concurrent Processes Using Temporal Logic
By
Verifying Concurrent Processes Using Temporal Logic
$
59.87
Format: Paperback
Condition: New
See 1 Edition
Partial-Order Methods for the Verification of Concurrent Systems: An...
By
Partial-Order Methods for the Verification of Concurrent Systems: An Approach to the State-Explosion Problem (Lecture Notes in Computer Science)
$
59.87
Format: Paperback
Condition: New
See All 2 Editions
Modeling, Verification and Exploration of Task-Level Concurrency in ...
By
Modeling, Verification and Exploration of Task-Level Concurrency in Real-Time Embedded Systems
$
169.99
Format: Paperback
Condition: New
See All 2 Editions
Leveraging Applications of Formal Methods, Verification and Validati...
Leveraging Applications of Formal Methods, Verification and Validation. Scalable Verification and Validation of Concurrent and Distributed Systems: ... V (Lecture Notes in Computer Science, 17145)
$
54.77
Format: Paperback

Releases: Nov 19, 2026

See 1 Edition
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Vi...
By
A Machine-Checked, Type-Safe Model of Java Concurrency: Language, Virtual Machine, Memory Model, and Verified Compiler
$
63.58
Save $8.42! List Price: $72.00
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.
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