Theory and Applications of Satisfiability Testing - SAT 2007: 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings (Lecture Notes in Computer Science, 4501)
ISBN 10:
3540727876 ISBN 13:
9783540727873
Published by Springer, 2007
Language: English
Condition: New
Soft cover
Sold by California Books, Miami, FL, U.S.A.
AbeBooks Seller since October 27, 2023
New - Soft cover
Condition: New
Price:
US$ 68.00
Free Shipping
Ships within U.S.A.
Ships within U.S.A.
Quantity: Over 20 available
Add to basket