Theory and Application of Satisfiability Testing

Name: Theory and Application of Satisfiability Testing: 14th International Conference
Brand: Springer
SKU: 9783642215803
Price: 5593.00 INR
Availability: InStock

14th International Conference

by Karem A. Sakallah, Laurent Simon

Springer · 2011

₹5,593

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–7 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns. See what qualifies.

About this book

Published by Springer in 2011, Theory and Application of Satisfiability Testing: 14th International Conference by Karem A. Sakallah & Laurent Simon is available as a new copy.

Topics covered include Logic design, Computer science, Artificial intelligence and Computer software.