Limit this search to....

  (2 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Computer-Aided Reasoning: Acl2 Case Studies 2000 Edition (Advances in Formal Methods)Kaufmann, MattHardcover0792378490 /
9780792378495		06/2000$208.99
Piton: A Mechanically Verified Assembly-Level Language 1996 Edition (Automated Reasoning)Moore, J. StrotherHardcover0792339207 /
9780792339205		01/1996$94.05
  (2 items found)