All Formats & Editions
1 - 3 of 3 results found
Concurrency Verification: Introduction to Compo...
Edition Details
Format:Paperback
Language:English
ISBN:0521169321
Format: Paperback
Condition:
$
91.95
Save $1.04!
List Price: $92.99
50 Available
Concurrency Verification: Introduction to Compo...
Edition Details
Format:Hardcover
Language:English
ISBN:0521806089
Format: Hardcover
Condition:
$
271.77
Save $12.23!
List Price: $284.00
50 Available
Concurrency Verification : Introduction to Comp...
Edition Description
This is a systematic and comprehensive introduction both to compositional proof methods for the state-based verification of concurrent programs, such as the assumption-commitment and rely-guarantee paradigms, and to noncompositional methods, whose presentation culminates in an...
Edition Details
Format:Hardcover
Language:English
ISBN:B00APYBUAK
Format: Hardcover
Temporarily Unavailable
0 people are interested in this title.
We receive fewer than 1 copy every 6 months.
Copyright © 2024 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell/Share My Personal Information | Cookie Policy | Cookie Preferences | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
