BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Concurrency Verification:
Introduction to Compositional and Noncompositional Methods

by Yassine Lakhnech, Job Zwiers, Frank De Boer, Ulrich Hannemann, Jozef Hooman, Mannes Poel, W.-P. De Roever

ISBN 0521806089 / 9780521806084 / 0-521-80608-9
Publisher Cambridge Univ Pr
Language English
Edition Hardcover
List price $200.00
Find All Copies

 


› Find collectible copies of 'Concurrency Verification: Introduction to Compositional and Noncompositional Methods'