Shop

Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications

eBook (PDF), 148 Pages
This item has not been rated yet
Price: $2.50
Download immediately.
These are the Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications. The ACL2 workshops provide the major technical forum for researchers to present and discuss improvements and extensions to the theorem prover, comparisons of ACL2 with other systems, and applications of ACL2 in industry, government, and academia.
Available in PDF Format

Ratings & Reviews

Log in to review this item
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

Publisher
Ruben Gamboa
Published
September 30, 2011
Language
English
Pages
148
File Format
PDF
File Size
3.97 MB

Formats for this Ebook

PDF
Required Software Any PDF Reader, Apple Preview
Supported Devices Windows PC/PocketPC, Mac OS, Linux OS, Apple iPhone/iPod Touch... (See More)
# of Devices Unlimited
Flowing Text / Pages Pages
Printable? Yes
Report This Content to Lulu >

Moderation of Questionable Content

Thank you for your interest in helping us moderate questionable content on Lulu. If you need assistance with an order or the publishing process, please contact our support team directly.

How does this content violate the Lulu Membership Agreement?

Keywords

Listed In