Item #: 1122245 | Model #: 9783642316111
Theory and Applications of Satisfiability Testing -- SAT 2012
Rollover image to zoom in
https://www.staples-3p.com/s7/is/image/Staples/m001247173_sc7?wid=512&hei=512

Theory and Applications of Satisfiability Testing -- SAT 2012

No reviews yet
Share:
Delivered within 3-9 business days
$94.49
This item not available in stores
Qty:

Staples memberships could save you more | Learn More

Product Details
  • Author Name: Alessandro Cimatti, Roberto Sebastiani
  • No of Pages: 520 Pages
  • Publisher: Springer
Go to full description & specifications


94.49
94.49
https://www.staples-3p.com/s7/is/image/Staples/m001247173
09783642316111
Assorted Publishers
Theory and Applications of Satisfiability Testing -- SAT 2012
Product Description
Theory and Applications of Satisfiability Testing By Cimatti & Sebastiani - Discusses theory and applications of satisfiability testing, SAT 2012

Theory and Applications of Satisfiability Testing By Cimatti & Sebastiani provide details on 15th International Conference. It discusses theory and applications of satisfiability testing, SAT 2012.

  • Author Name: Alessandro Cimatti, Roberto Sebastiani
  • No of Pages: 520 Pages
  • Publisher: Springer
  • Publishing Date: July 03, 2012
  • Language: English
  • ISBN -10: 3642316115
  • ISBN -13: 978-3642316111
  • Edition: 2012
Specifications
Book Cover Paperback
Author Name Alessandro Cimatti, Roberto Sebastiani
Reviews