Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
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.
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
Molecular Genetics in Medicine
$19.99
Current Aspects of Flavonoids: Their Role in Cancer Treatment
$109.99
Online Game Pioneers at Work
$19.99
Grundlagen der Regelungstechnik
$59.99
Calcium: The molecular basis of calcium action in biology and medicine
$219.99
Gente Americana: Gente americana: Aztecas
$5.96
Knowledge Science, Engineering and Management
$129.99
Die Zentrifugalpumpen mit besonderer Bercksichtigung der Schaufelschnitte
$84.99
Economics and Modern Warfare
$119.99
Electric Power System Components
$109.99
Formal Methods for Executable Software Models
$54.99
Grundzge der Spieltheorie
$29.99
Politische Psychologie heute
$74.99
Radioactive and Stable Isotope Geology
$219.99
Low Power Design Methodologies
$169.99
Mechanical Ventilation in Neonates and Children
$119.99
Management Geography
$109.99
Strategie und Wettbewerb in konvergierenden Mrkten
$74.99
Der Gynkologische Operationskursus
$49.99
Management im Umfeld von Komplexitt und fundamentalem Wandel
$17.99
Sequentielle nicht-lineare Tarife
$69.99
Haptic and Audio Interaction Design
$39.99
Corporate Social Responsibility in Finland
$54.99
Interpreting Clifford Geertz
$54.99
Animal Conflict
$39.99
Educating for Citizenship in a Canada-China Sister School Reciprocal Learning Partnership
$159.99
Lost Sex
$169.00
Structure and Bonding
$74.99
Brain-Derived Neurotrophic Factor (BDNF)
$169.99
Business Modeling and Software Design
$54.99
Rechtsextremisten in Parlamenten
$44.99
Advances in Human Factors in Energy: Oil, Gas, Nuclear and Electric Power Industries
$84.99
Robust Multimodal Cognitive Load Measurement
$109.99
Handbook of Clinical Psychology in Medical Settings
$329.99
Die Krankheiten der oberen Luftwege
$49.99
Black Bodies and the Black Church
$39.99
Datenreiche Medizin und das Problem der Einwilligung
$49.99
Electoral Patterns in Alabama
$49.99
ber Gentechnik und Klone
$37.99
Rechnungslegung, Steuerung und Aufsicht von Banken
$119.99
