Concurrency Verification: Introduction to Compositional and Non-compositional Methods (Cambridge Tracts in Theoretical Computer Science, Series Number 54)
Roever, Willem-Paul De; Boer, Frank De; Hanneman, Ulrich; Hooman, Jozef; Lakhnech, Yassine; Poel, Mannes; Zwiers, Job
ISBN 10:
0521169321 ISBN 13:
9780521169325
Published by Cambridge University Press, 2012
Language: English
Condition: New
Soft cover
Sold by Ria Christie Collections, Uxbridge, United Kingdom
AbeBooks Seller since March 25, 2015
New - Soft cover
Condition: New
Price:
US$ 109.51
Convert Currency
US$ 16.10
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: Over 20 available
Add to basket