Start Over Please hold this item Export MARC Display
 
     
Limit search to available items
Record: Previous Record Next Record
Title Eighth International Workshop on the Acl2 Theorem Prover and Its Applications [electronic resource]
Publication Info New York : Association for Computing Machinery May 2009



Note Available for distribution in: USA
Annotation Eighth International Workshop on the ACL2 Theorem Prover and Its Applications May 11, 2009-May 12, 2009 Boston, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
ISBN 9781605587424
1605587427 (Trade Cloth) USD 99.00 Retail Price (Publisher)
Click on the terms below to find similar items in the catalogue
Alt author No Author Editor.
Note Available for distribution in: USA
Annotation Eighth International Workshop on the ACL2 Theorem Prover and Its Applications May 11, 2009-May 12, 2009 Boston, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
ISBN 9781605587424
1605587427 (Trade Cloth) USD 99.00 Retail Price (Publisher)
Alt author No Author Editor.

Note Available for distribution in: USA
Annotation Eighth International Workshop on the ACL2 Theorem Prover and Its Applications May 11, 2009-May 12, 2009 Boston, USA. You can view more information about this proceeding and all of ACMs other published conference proceedings from the ACM Digital Library: http://www.acm.org/dl.
Alt author No Author Editor.
ISBN 9781605587424
1605587427 (Trade Cloth) USD 99.00 Retail Price (Publisher)

Links and services for this item: