Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback)

Name: Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback)
Brand: Serge Gaspers
SKU: prod_500428d5a67572859a0bdbb2
Price: 118.00 USD
Availability: InStock

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback) Author: Springer ISBN: 9783319662626 Format: Paperback Publication Date: 2017-08-09 Page Count: 476

Shipping & Returns

Price unavailable

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback)—

$118.00

Price unavailable

Theory and Applications of Satisfiability Testing - SAT 2017: 20th International Conference, Melbourne, Vic, Australia, , (Paperback)—

$118.00