Shop
Computer-Aided Reasoning: An Approach
Paperback, 232 Pages
Price:
$22.12
Prints in 3-5 business days
Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and undergraduate courses on software engineering or formal methods. It is also suitable in conjunction with other books in courses on hardware design, discrete mathematics, and theory. It is also appropriate as a reference for business and industry. In this book we present:
* A practical functional programming language closely related to Common Lisp;
* A formal logic in which defined functions correspond to axioms;
* The computer-aided reasoning system ACL2, which includes mechanical support for the proof process.
ACL2 is part of the Boyer-Moore family of theorem provers, for which its authors have received the 2005 ACM Software System Award. ACL2 has been successfully applied to projects of commercial interest, including hardware and software verification. Approximately 140 exercises are distributed throughout the book.
There are no reviews for the current version of this product
Refreshing...
There are no reviews for previous versions of this product
Refreshing...
Product Details
- Copyright
- Matt Kaufmann, Panagiotis Manolios, and J Strother Moore (Standard Copyright License)
- Edition
- Third Edition
- Published
- January 10, 2011
- Language
- English
- Pages
- 232
- Binding
- Perfect-bound Paperback
- Interior Ink
- Black & white
- Weight
- 1.56 lbs.
- Dimensions (inches)
- 8.5 wide x 11 tall
- Product ID
- 14591911
Your notification has been sent
Lulu Staff has been notified of a possible violation of the terms of our Membership Agreement. Our agents will determine if the content reported is inappropriate or not based on the guidelines provided and will then take action where needed.
Thank you for notifying us. We will email you with the results and/or actions taken as a result of the investigation if you chose to receive confirmation.
We were unable to complete your request.
We were unable to complete your request.
Keywords
- theorem proving ,
- verification ,
- software engineering ,
- programming languages ,
- Moore ,
- Manolios ,
- LISP ,
- Kaufmann ,
- functional programming ,
- computer-aided reasoning ,
- automated reasoning ,
- ACM System Award ,
- ACL2
Listed In
More From

Age Verification
The page you are attempting to access contains content that is not intended for underage readers.
Please verify your birth date to continue.