Copied Computer Aided Verification
Computer Aided Verification
This book constitutes the thoroughly refereed proceedings of the 25th International Conference on Computer Aided Verification, CAV 2013 held in St. Petersburg, Russia in July 2013. The 54 regular and 16 tool papers presented were carefully selected from 209 submissions. The papers are organized in topical sections on biology, concurrency, hardware, hybrid systems, interpolation, loops and termination, new domains, probability and statistics, SAT and SMZ, security, shape analysis, synthesis, and time.
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
|
|
$84.99 | $84.99 |
|
$84.99 | See Site | In stock | Visit Store |
Reviews
Questions & Answers
The Theory of Crystal Structure Analysis
$54.99
Conjugated Polymeric Materials: Opportunities in Electronics, Optoelectronics, and Molecular Electro
$219.99
Lunar and Interplanetary Trajectories
$84.99
Psychosocial Disorders
$169.99
Rechtshandbuch Social Media
$119.99
Menschen im Kino
$17.99
Memory, Subjectivities, and Representation
$19.99
Metabotropic Glutamate Receptor Technologies
$89.00
The Middle East Conflict
$99.99
Statistical Modeling for Computer-Aided Design of MOS VLSI Circuits
$109.99
Gender Epistemologies and Eurasian Borderlands
$54.99
Between Heaven and Hell
$109.99
Big Data Analytics in Cognitive Social Media and Literary Texts
$179.99
Diplomacy
$37.99
Neue Aspekte der Marknagelung Akutversorgung von Wirbelsulenverletzungen
$69.99
Gene Network Inference
$129.00
Exchange and Transport of Air Pollutants over Complex Terrain and the Sea
$129.00
Multi-disciplinary Trends in Artificial Intelligence
$54.99
Criminal Actions and Social Situations
$65.00
Europische Minderheiten
$74.99
Transparent Data Mining for Big and Data
$159.99
Environmental Biotechnology Volume 4
$199.99
Kafka Troubleshooting in Production
$37.99
Die Wirkung des morbidittsorientierten Risikostrukturausgleichs auf innovative Versorgungsformen im
$79.99
Consensus or Conflict?
$59.99
Economic Essays
$74.99
Life Cycle Assessment in the Agri-food Sector
$109.99
Earthworm Assisted Remediation of Effluents and Wastes
$129.00
Haptic Systems Architecture Modeling
$109.99
The Future of European Security
$39.99
Successful Social Media and Ecommerce Strategies in the Wine Industry
$54.99
Meshfree Methods for Partial Differential Equations VII
$109.99
Influenza Pathogenesis and Control - Volume II
$169.99
Europische Unternehmensbesteuerung I
$37.99
Integrated Computer Technologies in Mechanical Engineering - 2020
$189.00
Recent Developments in Gravitation
$39.99
Metallkundliche Untersuchungen an Zeitstandproben
$54.99
Fanconi Anemia
$84.99
Intelligent Computing and Optimization
$219.99
My Books Summer Grade 3 Nonfiction 5-Book Pack
$29.95
