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 thoroughly refereed proceedings of the 10th International Symposium on Automated Technology for Verification and Analysis, ATVA 2012, held at Thiruvananthapuram, Kerala, India, in October 2012. The 25 regular papers, 3 invited papers and 4 tool papers presented were carefully selected from numerous submissions. Conference papers are organized in 9 technical sessions, covering the topics of automata theory, logics and proofs, model checking, software verification, synthesis, verification and parallelism, probabilistic verification, constraint solving and applications, and probabilistic systems.
Reviews
Questions & Answers
Rape Culture, Gender Violence, and Religion
$129.99
US Environmental Policy in Action
$44.99
Kulturmarketing
$19.99
A Friendly Guide to Wavelets
$64.99
Dynamics of Energy Governance in Europe and Russia
$84.99
Proceedings of the European Computing Conference
$219.99
Nancy Drew Diaries 90th Anniversary Collection Boxed Set by Carolyn Keene
$69.99
Hazard Analysis of Seismic Soil Liquefaction
$119.99
Methodologies and Intelligent Systems for Technology Enhanced Learning, 10th International Conferenc
$169.99
If You Give a Pig a Pancake
$4.46
Lager und Schmierung
$59.99
Frontiers in Cyber Security
$109.99
A Very British Affair
$169.99
Lectures on Numerical Mathematics
$39.99
Tourism in Transitions
$109.99
Mesh Methods for Boundary-Value Problems and Applications
$129.00
Grid Integration of Electric Mobility
$129.00
The Regal Theater and Black Culture
$39.99
The Politics of Victimhood in Post-conflict Societies
$199.99
The Human Firewall
$17.99
Princess Peppa and the Royal Ball
$3.74
The Turkish Turn in Contemporary German Literature
$39.99
Alexander von Humboldt
$179.99
Lessicografia e Letteratura Italiana
$54.99
Goosebumps HorrorLand: Escape from HorrorLand (#11)
$5.99
Entropy-Driven Processes in Biology
$109.99
Die bewaffnete Gesellschaft der USA
$24.99
Medical Image Computing and Computer Assisted Intervention MICCAI 2020
$84.99
Manual of Internal Fixation in the Cranio-Facial Skeleton
$79.99
Treewidth
$39.99
Progestogens in Obstetrics and Gynecology
$119.00
Das Harz der Nadelhlzer, seine Entstehung, Vertheilung, Bedeutung und Gewinnung. Fr Forstmnner, B
$84.99
Structural Analysis of Printed Circuit Board Systems
$169.99
Gamma-ray and Neutrino Signatures of Galactic Cosmic-ray Accelerators
$109.99
Shareholder Value-orientierte Sanierung
$74.99
Gandhi and the Psychology of Nonviolence, Volume 1
$109.99
The Chemical Evolution of the Galaxy
$109.99
Archives in a Changing Climate - Part I & Part II
$84.99
Oscar Wilde Eros and Aesthetics
$84.99
Towards Ethical and Socially Responsible Explainable AI
$219.99
