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 (Hardcover))de Roever, Willem-PaulHardcover0521806089 /
9780521806084		11/2001$269.80
Specification and Compositional Verification of Real-Time Systems 1991 Edition (Lecture Notes in Computer Science)Hooman, JozefPaperback3540549471 /
9783540549475		11/1991$52.24
  (2 items found)