Apparel & Accessories 
Vehicles & Parts 
Toys & Games 
Sporting Goods 
Office Supplies 
Luggage & Bags 
Home & Garden 
Hardware 
Furniture 
Copied
Go to and paste the code at the checkout to enjoy
Automated Technology for Verification and Analysis
Best Price (Coupon Required):
Buy Automated Technology for Verification and Analysis for $36.00 at @ Link.springer.com when you apply the 10% OFF coupon at checkout.
Click “Get Coupon & Buy” to copy the code and unlock the deal.
Set a price drop alert to never miss an offer.
Single Product Purchase
Price Comparison
| Seller | Contact Seller | List Price | On Sale | Shipping | Best Promo | Final Price | Volume Discount | Financing | Availability | Seller's Page |
|---|---|---|---|---|---|---|---|---|---|---|
|
BEST PRICE 1 Product Purchase
|
|
$39.99 | $39.99 |
|
10% OFF
This deals requires coupon
|
$36.00 | See Site | In stock | Visit Store |
Product Details
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
Reviews
Questions & Answers
Querying Moving Objects Detected by Sensor Networks
$54.99
The New Politics of Fatherhood
$84.99
Coastal Geology
$119.99
Embodied Performance as Applied Research, Art and Pedagogy
$129.99
Stochastic Processes: General Theory
$109.99
Sonderbilanzen
$59.99
The Global Future of Higher Education and the Academic Profession
$84.99
Erfolgreich Programmieren mit Ada
$69.99
Augustine in a Time of Crisis
$169.99
Geschftsprozesse realisieren
$39.99
Wavelet, Subband and Block Transforms in Communications and Multimedia
$129.00
Gerrit Van Honthorst
$54.99
Intelligent Information Integration for the Semantic Web
$54.99
Water Resilience
$79.99
Effectuation als Startup-Entscheidungslogik
$69.99
Aktivierung und berzeugung im Bundestagswahlkampf 2013
$24.99
New Frontiers in Engineering Geology and the Environment
$169.99
Jacobus Cornelius Kapteyn
$129.00
Scholastic In My Language Stickers Talk And Count Numbers Portuguese
$44.25
Science and Drama: Contemporary and Creative Approaches to Teaching and Learning
$169.99
Greece Old and New
$74.99
Linking Game-Theoretical Approaches with Constructive Type Theory
$54.99
Goosebumps SlappyWorld: Revenge of the Invisible Boy (#9)
$5.24
Trustworthy Global Computing
$54.99
Scattering Theory
$44.99
Critical Issues in Mathematics Education
$84.99
Aus pharmazeutischer Vorzeit in Bild und Wort
$59.99
Natural Language Processing in Biomedicine
$99.99
Mission Wandel
$29.99
The Economics of Saving
$169.99
Islam and Muslim Politics in Africa
$44.99
Selbstsozialisation, Kinderkultur und Mediennutzung
$59.99
Research on Hydropower Development and Delivery in Congo River
$79.99
What Radiology Residents Need to Know: Musculoskeletal Radiology
$64.99
Holding Power to Account
$139.99
Schule und psychische Gesundheit
$49.99
Modern Credit Risk Management
$79.99
Visualizing Dynamic Systems
$29.99
Transactions and Database Dynamics
$39.99
Logische Syntax der Sprache
$59.99
