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

by Panagiotis Manolios
Matthew Wilding

ISBN: 978-0-9788-4930-6
Publisher: Ruben Gamboa
Copyright: © 2006 ACL2 Steering Committee Standard Copyright License
Language: English
Country: United States
  • Download $2.50
  • Paperback book $9.99
Download: 1 documents, 4087 KB

Printed: 148 pages, 8.5" x 11", perfect binding, black and white interior ink

Description:

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.

Keywords:


Listed in:

Computers & Internet

Stats:

Lulu Sales Rank: 15,221

This item has not yet been rated. Be the first to rate it!

Please log in or sign up to rate this item.

Reviews:

This item has not yet been reviewed.

Please log in or sign up to post a review.


[Click the preview to close]

Share or Bookmark This Item

Fill out this form to send an e-mail to your friend telling them about this page on Lulu.com:

We respect your privacy. The names and e-mail addresses you enter are used only for sending this message. Please read our Privacy Pledge.

Your Friend's Name:
Your Friend's Email:
Your Name:
Your E-mail:
Your Message:
(max. 1024 characters)
 
Lulu is an advocate for global consumer privacy rights, protection and security.
Member Agreement   |   Privacy Pledge