Go back

Computer Aided Reasoning Acl2 Case Studies(1st Edition)

Authors:

Matt Kaufmann ,Panagiotis Manolios ,J Strother Moore

Free computer aided reasoning acl2 case studies 1st edition matt kaufmann ,panagiotis manolios ,j strother moore
11 ratings
Cover Type:Hardcover
Condition:Used

In Stock

Shipment time

Expected shipping within 2 Days
Access to 30 Million+ solutions Free
Ask 50 Questions from expert AI-Powered Answers
7 days-trial

Total Price:

$0

List Price: $190.11 Savings: $190.11(100%)
Access to 30 Million+ solutions
Ask 50 Questions from expert AI-Powered Answers 24/7 Tutor Help Detailed solutions for Computer Aided Reasoning Acl2 Case Studies

Price:

$9.99

/month

Book details

ISBN: 144194981X, 978-1441949813

Book publisher: Springer