Limit this search to....

  (3 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))Roever, Willem-Paul DeHardcover0521806089 /
9780521806084		11/2001$269.80
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings 2015 Edition (Lecture Notes in Computer Science)Bjørner, NikolajPaperback3319192485 /
9783319192482		06/2015$52.24
It's All about Coordination: Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab 2018 Edition de Boer, FrankPaperback3319900889 /
9783319900889		04/2018$52.24
  (3 items found)