Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
This book constitutes the refereed proceedings of the 15th International Symposium on Automated Technology for Verification and Analysis, ATVA 2017, held in Pune, India, in October 2017. The 22 full and 7 short papers presented in this volume were carefully reviewed and selected from 78 submissions. The book also contains one invited talk in full-paper length. The contributions are organized in topical sections named: program analysis; model checking and temporal logics; neural networks; learning and invariant synthesis; and hybrid systems and control.
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
Our Hopes, Our Future
$32.99
Food and Identity in Nineteenth and Twentieth Century Ghana
$129.99
Crony Capitalism in India
$84.99
Inhalt und Mass
$69.95
Optimiert Weihnachten
$19.99
Burnout als Chance
$24.99
Proceedings of the International Conference on Information Technology & Systems (ICITS 2018)
$259.00
Radiological Protection
$549.99
Disorder-Free Localization
$109.99
Psychosomatische Gynkologie und Geburtshilfe 1992/93
$69.99
The Liberal Heart of Europe
$119.99
Emerging Markets
$109.99
Differenzierte Therapie mit trizyklischen Antidepressiva
$69.99
Somatic Cell Nuclear Transfer
$84.99
Taschenatlas Notfall & Rettungsmedizin
$34.99
Film Professionals in Nazi-Occupied Europe
$119.00
Theoretical Computer Science
$54.99
Social Issues in China
$54.99
History of Semiconductor Engineering
$199.99
Cultivation and Drought Management in Agriculture
$169.99
Mathematics - Key Technology for the Future
$39.99
Marijuana and the Cannabinoids
$129.00
Ostindisches Handwerk und Gewerbe mit Rcksicht auf den europischen Arbeitsmarkt
$59.99
Advances in Computer Science, Environment, Ecoinformatics, and Education, Part III
$109.99
Mikrokonomik im Bachelor-Studium
$19.99
Lectures on Probability Theory and Statistics
$54.99
Computational Logistics
$84.99
Informed Watermarking
$84.99
Functional and Constraint Logic Programming
$54.99
Internet of Things from Hype to Reality
$89.99
Stochastic Differential Systems
$39.99
Shaping for Cleaning the Root Canals
$119.99
Nineteenth-Century Individualism and the Market Economy
$129.99
War der Wissenschaftliche Kommunismus eine Wissenschaft?
$59.99
Zwischenmenschliche Konflikte als Ansto von Wandel in Organisationen
$69.99
Wherever You Go by Pat Zietlow Miller
$7.99
Social Movements and Democracy in the 21st Century
$99.99
The University in the Age of Globalization
$39.99
Philanthropic Foundations, Public Good and Public Policy
$109.99
Origin of Life
$169.99
