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 14th International Symposium on Automated Technology for Verification and Analysis, ATVA 2016, held in Chiba, Japan, in October 2016. The 31 papers presented in this volume were carefully reviewed and selected from 82 submissions. They were organized in topical sections named: keynote; Markov models, chains, and decision processes; counter systems, automata; parallelism, concurrency; complexity, decidability; synthesis, refinement; optimization, heuristics, partial-order reductions; solving procedures, model checking; and program analysis.
Reviews
Questions & Answers
Bewhrung und Herausforderung Die Verfassung vor der Zukunft
$54.99
Application of Machine Learning in Slope Stability Assessment
$199.99
Web Information Systems Engineering WISE 2024
$79.99
Ruthenium-Containing Polymers
$199.99
Financial Instability and the International Debt Problem
$169.99
Facing the Technological Challenge
$54.99
Landscape Ecology in Asian Cultures
$249.99
Annual Report on Chinas Petroleum, Gas and New Energy Industry (2021)
$149.00
Sensing, Modeling and Optimization of Cardiac Systems
$39.99
Whler und Gewhlte
$69.99
Proceedings of the Canadian Society for Civil Engineering Annual Conference 2023, Volume 9
$299.99
Modelluntersuchungen ber die Strmungs- und Stoffausbreitung in Schttungen im Hinblick auf den Bre
$59.99
Online Communities and Crowds in the Rise of the Five Star Movement
$54.99
Planungshilfe fr technologieorientierte Unternehmensgrndungen
$74.99
Crib Death
$84.99
Geometry Seminar "Luigi Bianchi" II - 1984
$54.99
Bo and the Merbaby
$4.49
Astrophysics of Black Holes
$139.99
Technical Thermodynamics Workbook for Engineers
$109.99
Microelectronics Packaging Handbook, 3-part set
$329.99
Verfahren zur Messung der Gleichmigkeit von Geweben
$54.99
Managing Technology from Laboratory to Marketplace
$99.99
Concurrent and Comparative Discrete Event Simulation
$84.99
Indicators Relevant to Farm Animal Welfare
$39.99
The Biochemistry of Retinoid Signaling II
$249.99
Teaching to the Math Common Core State Standards
$49.99
Music and the Nerves, 1700-1900
$54.99
Pathologie der weiblichen Genitalorgane III
$54.99
Death and Social Policy in Challenging Times
$54.99
Massenspektrometrie
$29.99
Das Methoden-Repertoire von Lehrern
$59.99
Consumption Norms and Everyday Ethics
$39.99
Frontiers in General Relativity
$89.99
Semantic Issues in E-Commerce Systems
$84.99
Subkulturen im Unternehmen
$49.99
Quantum Field Theory and Functional Integrals
$39.99
The Romance of King Ali Darma in Javanese Literature
$54.99
Protein Pharmacokinetics and Metabolism
$169.99
Targeted Learning in Data Science
$129.99
Kleines Handbuch des Firmenrechts
$59.99
