Limit this search to....

  (3 items found)
Title Author / Artist Prod Type ISBN/ISBN-13
or UPC		 Pub
Date		 Price
Computer-Aided Reasoning: Acl2 Case Studies Softcover Repri Edition (Advances in Formal Methods)Kaufmann, MattPaperback144194981X /
9781441949813		12/2010$208.99
Formal Verification of Floating-Point Hardware Design: A Mathematical Approach Softcover Repri Edition Russinoff, David M.Paperback3030070484 /
9783030070489		01/2019$94.99
Piton: A Mechanically Verified Assembly-Level Language Softcover Repri Edition (Automated Reasoning)Moore, J. StrotherPaperback9401737916 /
9789401737913		10/2013$52.24
  (3 items found)