Computer-Aided Reasoning: ACL2 Case Studies (Advances in Formal Methods)
ISBN 10:
144194981X ISBN 13:
9781441949813
Published by Springer, 2010
Language: English
New
Condition: New
Soft cover
Sold by Ria Christie Collections, Uxbridge, United Kingdom
AbeBooks Seller since March 25, 2015
New - Soft cover
Condition: New
Price:
US$ 264.23
Convert Currency
US$ 16.07
shipping from United Kingdom to U.S.A.
Destination, rates & speeds
Quantity: Over 20 available
Add to basket