My Library

     
Limit search to available items
Book Cover
EBOOK
Title Proceedings of the 7th International Workshop on Satisfiability Modulo Theories [electronic resource]
Publication Info. New York : Association for Computing Machinery Aug. 2009

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 '09: 7th International Workshop on Satisfiability Modulo Theories Aug 02, 2009-Aug 03, 2009 Montreal, Canada. 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 Dutertre,Bruno Editor Editor.
ACM Digital Library
ISBN 9781605584843
1605584843 (Trade Cloth) USD 99.00 Retail Price (Publisher) Active Record
OCLC # sseb_ssj0000812265
View Shelf for Similar Items