Theory and Applications of Satisfiability Testing -- SAT 2012

Name: Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference
Brand: Springer
SKU: 9783642316111
Price: 5773.00 INR
Availability: InStock

15th International Conference

by Alessandro Cimatti, Roberto Sebastiani

Springer · 2012

₹5,773

Free delivery. Nothing extra to pay at checkout.

Delivery in 3–5 days to any serviceable pincode in India, with tracking.
Cash on delivery. Pay when the parcel reaches you.
15-day returns.
Express shipping. Same-day dispatch (Monday to Saturday), delivered all over India in 3–5 days.

Offer

Use code GIG9 at checkout and pay ₹5,273 for this book (save ₹500).

9% off every book, up to ₹500 off per order.

About this book

Published by Springer in 2012, Theory and Applications of Satisfiability Testing -- SAT 2012: 15th International Conference by Alessandro Cimatti & Roberto Sebastiani is available as a new copy.

Topics covered include Computer algorithms, Congresses, Computer software and Verification.