Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
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.
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 |
|
$39.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
Hypercomputation
$89.99
Annual Review of Nursing Research
$39.99
Human Trafficking Is a Public Health Issue
$64.99
Understanding an Orogenic Belt
$109.99
Computer Aided Constellation Management and Communication Satellites
$279.99
The Behaviour of Pinnipeds
$329.99
British Newspaper Strips
$139.99
Physical and Biological Bases of Life Stability
$39.99
Pflegeeinrichtungen erfolgreich fhren
$29.99
Customer Relationship Management
$84.99
Nonlinear Optics in Signal Processing
$219.99
Kuhns Structure of Scientific Revolutions - 50 Years On
$54.99
Feeding Japan
$199.99
Die Performance der Europischen Whrungsordnung
$49.99
Gestaltung betrieblicher Arbeitszeitsysteme
$17.99
Oral Surgery
$219.00
Handbook of Community Movements and Local Organizations
$169.99
Einfhrung in die spanische Literaturwissenschaft
$19.99
Social Costs and Sustainability
$129.00
A Programmed Text in Statistics Book 4: Tests on Variance and Regression
$54.99
Jahrbuch fr Handlungs- und Entscheidungstheorie
$44.99
Singapur: Herrschaft der Professionals und Technokraten Ohnmacht der Demokratie?
$44.99
Image: An Integrated Model to Assess the Greenhouse Effect
$109.99
Die magnetische Drehung der Polarisationsebene bei wachsender Doppelbrechung in dilatiertem Glas
$54.99
Theory of Symmetric Lattices
$54.99
Oralpathologie II
$59.99
Verkehrsleittechnik fr den Straenverkehr
$79.99
CSR und Kirche
$49.99
Forensic Memory
$99.99
Smart Cities
$84.99
Higher Education in Taiwan
$159.99
Mobile Wireless Middleware, Operating Systems and Applications - Workshops
$54.99
Planungs- und Kontrollrechnung
$54.99
The Palgrave Concise Historical Atlas of Eastern Europe
$109.99
Geometric Methods in Physics XXXVII
$169.99
Linear Programming in Industry
$54.99
Seasons of the Circle
$5.96
Cancer Chemotherapy and Selective Drug Development
$129.00
Information and Communication Technologies for Ageing Well and e-Health
$54.99
Elaborating Professionalism
$84.99
