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
Algorithms and Complexity
$39.99
Biscuit: Bizcocho sale a pasear
$2.99
Global Defense Procurement and the F-35 Joint Strike Fighter
$129.99
Geometric Methods in Algebra and Number Theory
$39.99
The Arab Uprisings in Egypt, Jordan and Tunisia
$54.99
Mon Amour trifft Pretty Woman
$34.99
Metzler Lexikon literarischer Symbole
$39.99
Celebrating the Megascale
$189.00
Die Bodenmechanik in der Baupraxis
$59.99
Student Entrepreneurship in the Social Knowledge Economy
$54.99
Community Engagement for Better Schools
$159.99
Quin Ganar?: Tarntula vs. Escorpin (Who Would Win?)
$2.99
Politicians, Personal Image and the Construction of Political Identity
$54.99
Public-Private-Partnerships in Drug Research and Development
$169.99
The Geometry of Lagrange Spaces: Theory and Applications
$169.99
Truth and Fake in the Post-Factual Digital Age
$54.99
Neuroendocrinological Aspects of Neurosurgery
$54.99
Dysphagie: Diagnostik und Therapie
$39.99
Mediale Topographien
$79.99
Weapons of Mass Destruction
$54.99
Einfhrung in die Geophysik II
$59.99
Inductive Logic Programming
$39.99
General Purpose Technology, Spin-Out, and Innovation
$119.99
The Pathophysiologic Basis of Nuclear Medicine
$279.00
State, Society and Memories of the Uprising of 17 June the GDR
$54.99
Handbook of Response to Intervention
$269.00
Management internationaler Dienstleistungen
$59.99
The Early Identification of Language Impairment in Children
$54.99
Syntheses of Natural Products
$39.99
Unternehmerbild und Grndungsentscheidung
$64.99
Nlt Thinline Reference Bible, Filament-Enabled Edition (Red Letter, LeatherLike, Rustic Brown) by Tyndale
$34.99
Revolution im Profifuball
$29.99
The Afghan Patchwork State
$129.99
Twenty-First Century Quantum Mechanics: Hilbert Space to Quantum Computers
$39.99
Sustainable Agrochemistry
$129.99
Globalization of Mobile and Wireless Communications
$169.99
Sprechwissenschaft & Psycholinguistik 5
$59.99
Deutsch fr rztinnen und rzte
$49.99
Mass Customization and Footwear: Myth, Salvation or Reality?
$109.99
Topological and Uniform Spaces
$54.99
