Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science (Paperback))Willem-Paul, de RoeverPaperback0521169321 /
9780521169325		01/2012$88.34
Concurrency Verification: Introduction to Compositional and Non-Compositional Methods (Cambridge Tracts in Theoretical Computer Science (Hardcover))de Roever, Willem-PaulHardcover0521806089 /
9780521806084		11/2001$269.80
  (2 items found)