Start Over Save to list Export MARC Display MelCat
     
book jacket
Title Proceedings of the Joint Workshops of the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning [electronic resource]
Publication Info. New York : Association for Computing Machinery July 2008
Location Call No. Status Notes
 Libraries Electronic Books  ELECTRONIC BOOK-ACM Digital Library    AVAIL. ONLINE
Series ACM Digital Library
Access License restrictions may limit access.
Summary Annotation SMT '08/BPR '08: 2008 Joint Workshops on the 6th International Workshop on Satisfiability Modulo Theories and 1st International Workshop on Bit-Precise Reasoning Jul 07, 2008-Jul 14, 2008 Princeton, 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.
Audience Scholarly & Professional Association for Computing Machinery
Added Author Barrett,Clark Editor Editor.
ACM Digital Library
ISBN 9781605584409
1605584401 (Trade Cloth) USD 99.00 Retail Price (Publisher) Active Record
Permanent url for this catalog record: