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 proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, held in Shanghai, China, in October 2015. The 27 revised papers presented together with 6 tool papers in this volume were carefully reviewed and selected from 95 submissions. They show current research on theoretical and practical aspects of automated analysis, verification and synthesis by providing an international forum for interaction among the researchers in academia and industry.
Reviews
Questions & Answers
Fracture Scaling
$129.00
Mean Field Games and Mean Field Type Control Theory
$79.99
Modernist Circumnavigations
$119.99
Fuzzy, Rough and Intuitionistic Fuzzy Set Approaches for Data Handling
$169.99
Kernenergie
$37.99
Justice at Nuremberg
$109.99
Kantianism, Liberalism, and Feminism
$54.99
Accountability and Regulatory Governance
$54.99
Praxiswissen Netzwerkarbeit
$44.99
Neurodegenerative Diseases Biomarkers
$219.99
Geek and Hacker Stories
$44.99
Endobronchial Ultrasound
$109.99
The Hepatocyte Review
$219.99
kologieorientierte Fhrung multinationaler Unternehmen in Entwicklungslndern
$49.99
Cancer and IgE
$129.00
Atlas of Implant Dentistry and Tooth-Preserving Surgery
$299.99
Einfhrung in das Internationale Kulturmanagement
$19.99
Morpho-functional Machines: The New Species
$169.00
Schlingsucht und naturgeme Kauttigkeit
$54.99
Human Geographies Within the Pale of Settlement
$129.99
Handbuch der normalen und pathologischen Physiologie
$49.99
Shell, Greenpeace and the Brent Spar
$54.99
Partitions, Objective Indefiniteness, and Quantum Reality
$54.99
The Future of Digital Democracy
$54.99
Economic Development in the Gulf Cooperation Council Countries
$159.99
Fundamentals of Polymer Degradation and Stabilization
$219.99
Research in Interactive Design
$109.99
Non-Bloch Band Theory of Non-Hermitian Systems
$179.99
Eurasian Business Perspectives
$219.99
Fertilizer Manual
$219.99
Controlling im Einkauf
$29.99
Origin of Group Identity
$169.99
Art Meets Mathematics in the Fourth Dimension
$54.99
Vertriebsrecht im Internet
$59.99
Belastung und Beanspruchung im Lehrerberuf
$39.99
Bildungseinstellungen
$59.99
Lockerungsbegutachtungen im Strafvollzug
$39.99
Schlervorstellungen und Physikunterricht
$34.99
Impact of COVID-19 on Emerging Contaminants
$169.99
Fundamental Approaches to Software Engineering
$54.99
