Verification, Model Checking, and Abstract Interpretation
Deepak D'Souza, Akash Lal, Kim Guldstrand Larsen
₹4,248
Automated Technology for Verification and Analysis
15th International Symposium
by Deepak D'Souza, K. Narayan Kumar
Springer International Publishing AG · 2017 · Paperback
₹4,277
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
Automated Technology for Verification and Analysis: 15th International Symposium is written by Deepak D'Souza & K. Narayan Kumar. This paperback edition from Springer International Publishing AG (2017) has 482 pages.
The book deals with Automatic theorem proving and Artificial intelligence.
Book details
- ISBN-13
- 9783319681665
- ISBN-10
- 3319681664
- Authors
- Deepak D'Souza, K. Narayan Kumar
- Publisher
- Springer International Publishing AG
- Published
- 2017
- Edition
- 1st ed. 2017
- Binding
- Paperback
- Pages
- 482
- Language
- English
- Condition
- New
- Subject
- Artificial intelligence
More by Deepak D'Souza and related titles
Marijuana and Madness
Deepak D'Souza, David Castle, Robin Murray
₹5,887
Fundamentals of Reinforcement Learning
Rafael Ris-Ala
₹5,759
Brain-Inspired Computing
Lucio Grandinetti, Thomas Lippert, Nicolai Petkov
₹3,920
Routledge Social Science Handbook of Ai
Anthony Elliott
₹20,974
Cognition Beyond the Brain
Stephen J. Cowley, Frederic Vallee-Tourangeau
₹10,024
Logic, Rationality, and Interaction
Wiebe van der Hoek, Wesley Holliday, Wen-fang Wang
₹4,284
Spatial Cognition
R. Lloyd
₹15,086
Man Overboard
J. A. Jance
₹3,880
Concurrency 88
Friedrich H. Vogt
₹5,580
Ways of Thinking
Mero L.
₹4,264
Theoretical Foundations of Artificial General Intelligence
Ben Goertzel
₹17,506