Limit this search to....

  (7 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Mathematical Theory of ComputationManna, ZoharPaperback0486432386 /
9780486432380		12/2003$22.46
Temporal Verification of Reactive Systems: Safety 1995 Edition Manna, ZoharPaperback1461287014 /
9781461287018		08/2012$113.99
Temporal Verification of Reactive Systems: Safety 1995 Edition Manna, ZoharHardcover0387944591 /
9780387944593		08/1995$104.49
The Calculus of Computation: Decision Procedures with Applications to VerificationBradley, Aaron R.Paperback3642093477 /
9783642093470		10/2010$52.24
The Calculus of Computation: Decision Procedures with Applications to Verification 2007 Edition Bradley, Aaron R.Hardcover3540741127 /
9783540741121		09/2007$75.99
The Temporal Logic of Reactive and Concurrent Systems: Specification Softcover Repri Edition Manna, ZoharPaperback1461269504 /
9781461269502		10/2012$52.24
The Temporal Logic of Reactive and Concurrent Systems: Specification 1992 Edition Manna, ZoharHardcover0387976647 /
9780387976648		12/1991$113.99
  (7 items found)