Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 11th International Symposium on Automated Technology for Verification and Analysis, ATVA 2013, held at Hanoi, Vietnam, in October 2013. The 27 regular papers, 3 short papers and 12 tool papers presented together with 3 invited talks were carefully selected from73 submissions. The papers are organized in topical, sections on analysis and verification of hardware circuits, systems-on-chip and embedded systems, analysis of real-time, hybrid, priced/weighted and probabilistic systems, deductive, algorithmic, compositional, and abstraction/refinement techniques for analysis and verification, analytical techniques for safety, security, and dependability, testing and runtime analysis based on verification technology, analysis and verification of parallel and concurrent hardware/software systems, verification in industrial practice, and applications and case studies.
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
Chemoreception in the Carotid Body
$109.99
Toward the Integration of Theory, Methods, Research, and Utilization
$169.99
A Republican Theory of Free Speech
$129.99
Theopoetics of the Word
$54.99
Stochastic Population Models
$109.99
A Roadmap for Formal Property Verification
$109.99
Soziologische Forschung: Stand und Perspektiven
$74.99
Management of Education in the Information Age
$109.99
M&A durch private Familienunternehmen
$74.99
Lehrbuch fr digitales Fertigungsmanagement
$59.99
Solare Technologien fr Gebude
$49.99
Chinese Burn Surgery
$219.99
Classic Goosebumps: Revenge of the Lawn Gnomes (#19)
$5.99
Foundations of Software Science and Computation Structures
$54.99
Thinking
$169.99
Strategisches Framing
$19.99
Gips und synthetischer Sttzverband
$14.99
Optimal Mobile Sensing and Actuation Policies in Cyber-physical Systems
$84.99
Constitutional Politics in Central and Eastern Europe
$54.99
Strengthening Urban Management
$39.99
Tropical Seaweed Farming Trends, Problems and Opportunities
$199.99
Rat Jugular Vein and Carotid Artery Catheterization for Acute Survival Studies
$179.99
Grenzerfahrungen | Expriences transfrontalires
$19.99
Kurven erkunden und verstehen
$37.99
Tenth International Conference on Numerical Methods in Fluid Dynamics
$74.99
The Graph Isomorphism Problem
$109.99
When Autism Strikes
$54.99
Die Nachfahren des Feuervogels Phnix
$29.99
Genossenschaft innovativ
$69.99
Das Gewinner-Prinzip
$89.99
Elektronik
$49.99
Seafoods: Chemistry, Processing Technology and Quality
$39.99
Testfadenmetechnik zur indirekten Ermittlung whrend der Verarbeitungsprozesse auftretender Fadensp
$59.99
War and Happiness
$99.99
Capacity Withdrawals in the Electricity Wholesale Market
$129.99
Innovationsnetzwerke
$59.99
Strahlentherapie von Hautkrankheiten
$54.99
Pension Systems
$84.99
Moon Montana: With Yellowstone National Park: Scenic Drives, Outdoor Adventures, Wildlife Viewing by Carter G. Walker
$21.99
Proceedings of the IFIP TC 11 23rd International Information Security Conference
$129.00
