
Springer Computer Aided Verification (English, Special Edition, Ganesh Gopalakrishnan | Shaz Qadeer)
by Ganesh Gopalakrishnan | Shaz Qadeer
Delivery options
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.
Book Details
About the Book
This book constitutes the refereed proceedings of the 23rd International Conference on Computer Aided Verification, CAV 2011, held in Snowbird, UT, USA, in July 2011. The 35 revised full papers presented together with 20 tool papers were carefully reviewed and selected from 161 submissions. The papers are organized in topical sections on the following workshops: 4th International Workshop on Numerical Software Verification (NSV 2011), 10th Intern…
Why You Should Read This Book
- Written by acclaimed author Ganesh Gopalakrishnan | Shaz Qadeer
- Published by Springer, a respected name in academic and professional publishing
- Covers the domain of Artificial Intelligence / General with depth and clarity
- Available in English — ideal for students, researchers, and professionals alike
- A trusted reference work that belongs on every serious reader's shelf
Product Details
This Special Edition of Computer Aided Verification is published by Springer and carries ISBN-13 9783642221095. Packaged securely for delivery across India, this edition is ideal for personal libraries, classroom use, and professional reference.
Who Is This Book For?
Whether you are a student preparing for advanced coursework, a researcher deepening your expertise, or a professional staying current with the field, Computer Aided Verification by Ganesh Gopalakrishnan | Shaz Qadeer is an excellent choice. Order your copy today from BookBajar and enjoy free shipping with Cash on Delivery available across India.
Frequently Asked Questions
What is the price of Springer Computer Aided Verification?
Who is the author of Springer Computer Aided Verification?
Is Springer Computer Aided Verification available in Paperback and Hardcover?
Does BookBajar offer free delivery for Springer Computer Aided Verification?
Is Cash on Delivery available for Springer Computer Aided Verification?
🛒 Customers Also Bought

Understanding Digital Literacies: A Practical Introduction
₹5,312
Information Warfare and Organizational Decision-Making (Artech House Information Warfare Library) (English, Paperback, Alexander Kott)
₹5,427
Practice Makes Perfect: English Verbs, Third Edition (English, Paperback, Loretta Gray)
₹1,769
English for Specific Purposes in Higher Education through Content and Language Integrated Learning (English, Hardcover, Elena Kováčiková)
₹2,700
Cornerstone Atomic Habits - For An Easy & Proven Way to Build Good Habits & Break Bad Habits (English, Paperback, NIL)
₹310
School Decentralization in the Context of Globalizing Governance: International Comparison of Grassroots Responses (English, Hardcover, Holger Daun)
₹7,390Related Products

Energetic Compounds: Methods for Prediction of their Performance (English, Paperback, Unknown)
₹2,700
Fifty-One Key Feminist Thinkers (Routledge Key Guides) (English, Paperback, Unknown)
₹2,700
Data Privacy: Principles and Practice (English, Paperback, Nataraj Venkataramanan)
₹2,700
Breviloquium (Works of St. Bonaventure) (English, Paperback, Bonaventure St., Monti Dominic)
₹2,700
Routledge Handbook of Disability Law and Human Rights (English, Paperback, Unknown)
₹2,700