Moore J Strother Editor (1 results)
Author:
Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods, 4)
Kaufmann, Matt [Editor]; Manolios, Panagiotis [Editor]; Moore, J Strother [Editor];
- Hardcover
Seller: Symposia Community Bookstore INC, Hoboken, NJ, U.S.A.Symposia Community Bookstore INC
Contact seller5-star sellerCondition: Used - Very good
US$ 141.78
US$ 5.00 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Very Good. Clean, unmarked pages, except name inside.
