Proceedings of the Sixth International Workshop on the ACL2 Theorem Prover and its Applications
ByPanagiotis ManoliosMatthew Wilding
Usually printed in 3 - 5 business days
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.
Details
- Publication Date
- Aug 2, 2006
- Language
- English
- ISBN
- 9780978849306
- Category
- Computers & Technology
- Copyright
- All Rights Reserved - Standard Copyright License
- Contributors
- By (author): Panagiotis Manolios, By (author): Matthew Wilding
Specifications
- Pages
- 148
- Binding Type
- Paperback Perfect Bound
- Interior Color
- Black & White
- Dimensions
- US Letter (8.5 x 11 in / 216 x 279 mm)