You are here
Back to topComputer-Aided Reasoning: Acl2 Case Studies (Advances in Formal Methods #4) (Hardcover)
$427.70
This item is not available this time
This item is not available this time
Description
Illustrates how the computer-aided reasoning system ACL2 can be used in productive and innovative ways to design, build, and maintain hardware and software systems. This title includes technical papers written by twenty-one contributors that report on self-contained case studies, some of which are sanitized industrial projects.