Skip to content
Same-day shipping9% off: code GIG9
BooksBajar
Cover of Automated Technology for Verification and Analysis

Automated Technology for Verification and Analysis

14th International Symposium

by Cyrille Artho, Axel Legay, Doron Peled

Springer International Publishing AG · 2016 · Paperback

₹4,259

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 ₹3,876 for this book (save ₹383).

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

About this book

Automated Technology for Verification and Analysis: 14th International Symposium is written by Cyrille Artho, Axel Legay & others.

Topics covered include Artificial intelligence and Automatic theorem proving.

Book details

ISBN-13
9783319465197
ISBN-10
3319465198
Authors
Cyrille Artho, Axel Legay, Doron Peled
Publisher
Springer International Publishing AG
Published
2016
Edition
1st ed. 2016
Binding
Paperback
Pages
530
Language
English
Condition
New
Subject
AI & Intelligent Systems

More by Cyrille Artho and related titles