Copied Automated Technology for Verification and Analysis
Automated Technology for Verification and Analysis
This book constitutes the proceedings of the 12th International Symposium on Automated Technology for Verification and Analysis, ATVA 2014, held in Sydney, Australia, in November 2014. The 29 revised papers presented in this volume were carefully reviewed and selected from 76 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
Internationale Politik und Governance in der Arktis: Eine Einfhrung
$24.99
Nationality, Citizenship and Ethno-Cultural Belonging
$39.99
Kristallchemie, Strukturen und Phasenumwandlungen von Silikaten, Germanaten und Boraten
$59.99
Coding for Channels with Feedback
$109.99
Queering Memory and National Identity in Transcultural U.S. Literature and Culture
$54.99
Why Human Capital is Important for Organizations
$54.99
Generating Families in the Restricted Three-Body Problem
$84.99
Taxation and Society in Twentieth-Century Argentina
$39.99
Theory and Applications of Ordered Fuzzy Numbers
$59.99
Digitale Fernsehtechnik
$54.99
Memory, Subjectivities, and Representation
$19.99
Real-time Business
$84.99
Party Ideology, Public Discourse, and Reform Governance in China
$49.99
Lob des Fnfecks
$19.99
Das empathische Gehirn
$59.99
Menschenfhrung und Leadership in der Pflege
$19.99
Grade Models and Methods for Data Analysis
$219.99
New Mega Trends
$54.99
Evoked Potential Manual
$299.99
Immune Deficiency
$109.99
Convexity and Its Applications
$54.99
Thermally Stimulated Relaxation in Solids
$39.99
Studies on Hepatic Disorders
$169.99
Parametrized Measures and Variational Principles
$84.99
Grab and Go Pack Theme 1: Favorite Books Grade 2 Spanish
$29.95
Efrn Divided
$5.99
Parallel Problem Solving from Nature - PPSN IX
$109.99
Solid Edge 2023 fr Fortgeschrittene kurz und bndig
$24.99
Quick Guide Effizientes Marketing fr kleine und mittlere Unternehmen
$19.99
Ueber die Einwirkung des Ziehprozesses auf die wichtigsten technischen Eigenschaften des Stahles
$84.99
Electronics Engineering
$169.99
Logistikmanagement
$109.00
Chaostheorie und Unternehmenssteuerung
$69.99
Simultane Projektorganisation
$44.99
The National Implementation of International Norms
$119.99
Capacity Analysis of Vehicular Communication Networks
$54.99
I Survived the Destruction of Pompeii, AD 79 (#10)
$4.49
Advances in Multimedia Information Processing - PCM 2013
$84.99
Handheld and Ubiquitous Computing
$39.99
Wettlauf um die Frauen
$39.99
