Theory and Applications of Satisfiability Testing -- SAT 2012 (English, Alessandro Cimatti | Roberto Sebastiani)
by Alessandro Cimatti | Roberto Sebastiani
Delivery options
₹5,773
Genuine Book · Tracked Delivery
Free Shipping · Dispatched in 1–2 days💵 COD Available📦 Delivery in 3-4 days
Available Offers
Free Delivery — Ships same day. Delivery in 3-4 business days.
15-Day Easy Returns — hassle-free return & full refund.
Secure Payment — 100% safe checkout with UPI, Cards & Net Banking.
Total: ₹5,773
Book Details
Publisher
Springer
Language
English
ISBN-13
9783642316111
ISBN-10
3642316115
Author
Alessandro Cimatti | Roberto Sebastiani
About the Book
The 29 revised full papers, 7 tool papers, and 16 poster papers presented together with 2 invited talks were carefully reviewed and selected from 112 submissions (88 full, 10 tool and 14 poster papers).
ISBN: 9783642316111
ISBN-13: 9783642316111
ISBN-10: 3642316115
Frequently Asked Questions
What is the price of Theory and Applications of Satisfiability Testing -- SAT 2012?
Theory and Applications of Satisfiability Testing -- SAT 2012 starts from ₹5773 at BookBajar. Available in Paperback.
Who is the author of Theory and Applications of Satisfiability Testing -- SAT 2012?
Alessandro Cimatti | Roberto Sebastiani is the author of Theory and Applications of Satisfiability Testing -- SAT 2012. Browse more books by Alessandro Cimatti | Roberto Sebastiani on BookBajar.
Is Theory and Applications of Satisfiability Testing -- SAT 2012 available in Paperback and Hardcover?
Yes, Theory and Applications of Satisfiability Testing -- SAT 2012 is available in Paperback on BookBajar. Select your preferred format on the product page.
Does BookBajar offer free delivery for Theory and Applications of Satisfiability Testing -- SAT 2012?
Yes, BookBajar offers free delivery for Theory and Applications of Satisfiability Testing -- SAT 2012 across India. No minimum order value required.
Is Cash on Delivery available for Theory and Applications of Satisfiability Testing -- SAT 2012?
Yes, Cash on Delivery (COD) is available for Theory and Applications of Satisfiability Testing -- SAT 2012 on BookBajar. You can pay when your order is delivered.
Product ID: isbn-9783642316111
🛒 Customers Also Bought
Data Privacy: Principles and Practice (English, Paperback, Nataraj Venkataramanan)
₹2,700
Phantasie, Bildbewusstsein, Erinnerung (English, Edmund Husserl | E. Marbach)
₹54,154
Der Keynesianismus II (English, G. Bombach | H. -J Ramser | M. Timmermann)
₹4,601
Physik Des Erdnahen Weltraums (English, Gerd Prölss)
₹3,508
Neural Network Modeling (English, P. S. Neelakanta | Dolores Degroff)
₹23,693
Vorlesungen Über Massivbau (English, F. Leonhardt)
₹4,141Related Products
Der Untergang Des Niederländischen Volksliedes (English, H. F. Wirth)
₹3,587
Teaching School Mathematics: Algebra (English, Hardcover, Hung-Hsi Wu)
₹5,213
Prozessmanagement Individuell Umgesetzt (English, Eva-Maria Kern)
₹5,694
Dust Mites (English, Matthew J. Colloff)
₹23,844
Methodenhandbuch Für Softwareschulungen (English, Stefanie Gerlach | Inga Squarr)
₹5,040