Moore J Strother Editor (1 results)
Author:
Refine with Advanced Search
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 seller4-star sellerCondition: Used - Very good
£ 111.98
£ 3.73 shippingShips within U.S.A.Quantity: 1 available
hardcover. Condition: Very Good. Clean, unmarked pages, except name inside.
