Narrow These Results

 
To calculate TruePrice, including exact Tax and Shipping, enter your ZIP code
ZIP code:
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
Concurrency Verification: Introduction to Compositional and Noncompositional Methods
by Yassine Lakhnech, Job Zwiers, Frank De Boer, Ulrich Hannemann, Jozef Hooman, Mannes Poel
In stock at
Alibris
 
42 Seller Reviews
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Networks of Processes and Their Relationship
Compositionality, Concurrency, and Partial Correctness: Proof Theories for Network...
by Job Zwiers
In stock at
Alibris
 
42 Seller Reviews