Moore J Strother Edt (4 results)
Computer-Aided Reasoning : Acl2 Case Studies
Kaufmann, Matt (EDT); Manolios, Panagiotis (EDT); Moore, J Strother (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: New
£ 179.29
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: New.
Computer-Aided Reasoning : Acl2 Case Studies
Kaufmann, Matt (EDT); Manolios, Panagiotis (EDT); Moore, J Strother (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
£ 203.46
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
Computer-Aided Reasoning : Acl2 Case Studies
Kaufmann, Matt (EDT); Manolios, Panagiotis (EDT); Moore, J Strother (EDT)
- Hardcover
Seller: GreatBookPricesUK, Woodford Green, United KingdomGreatBookPricesUK
Contact seller5-star sellerCondition: Used - As new
£ 247.99
£ 15.00 shippingShips from United Kingdom to U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Computer-Aided Reasoning : Acl2 Case Studies
Kaufmann, Matt (EDT); Manolios, Panagiotis (EDT); Moore, J Strother (EDT)
- Hardcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
£ 280.20
£ 1.96 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
