Compare Prices | Create Shopping Lists with Price Drop Alerts | Set Coupons, Promo Codes & Sales Alerts | Get Access to Exclusive Deals and Much More... All in One Place | Read all about it here

Computer Aided Verification

Computer Aided Verification

Brand
Springer Nature
Manufacturer
N/A
Part Number
0
GTIN
9783642397981
Condition
New
Product Description

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.

Available Colors
Available Sizes
1 Offer Price Range: $84.99 - $84.99
BEST PRICE

Single Product Purchase

$84.99
@ Link.springer.com     BUY Now

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
@ Link.springer.com
Contact Store Call Store Contact Support
$84.99 $84.99

$84.99
See Site In stock Visit Store

Similar Products

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