Show Bookstore Categories

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
Paperback
Interior Color
Black & White
Dimensions
US Letter (8.5 x 11 in / 216 x 279 mm)

Ratings & Reviews