Skip to content
Home/ Concurrency Verification: Introduction to Compositional and Non-Compositional Methods
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

Concurrency Verification: Introduction to Compositional and Non-Compositional Methods

by Roever, Willem-Paul De
No customer reviews yet ISBN 9780521169325

About the author

Product details

Pub dateJan 26, 2012
ISBN-100521169321
ISBN-139780521169325
LanguageEnglish
Dimensions1.3 × 6.3 × 9.8 in
Weight2 lb
Last updated 2026-05-11 12:04
$102.41 $104.00 1% off
You save $1.59 · list price $104.00
In stock — ships in 24 hours with free tracking
Delivery by Monday, September 14, 2026
Qty
Sign in to Add to Saved list
Free delivery on orders over $35.
15-day returns. Any reason.
Secure checkout. We never store card details.

Readers who bought this also bought

More from Languages - General
See all
Data Structures and the Java Collections Framework: With Olc Bind-In-Card (Revised)
Collins, William
$50.30
101 Best Aviation Attractions
Purner, John F
$26.18
Php: A Beginner's Guide
Vaswani, Vikram
$43.18
PHP 4 Developer's Guide
Schwendiman, Blake
$50.89
ASP 3.0: A Beginner's Guide
ASP 3.0: A Beginner's Guide
$25.95
ASP.Net: Programmer's Reference
Microsoft's ASP (Active server Pages) is a leading Web development tool. It allows developers to create Web pages and is commonly used to serve e-commerce applications, updated financial information, and all types of dynamic data. This work offers a reference on the features and syntax of ASP.NET.
$17.63