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
9783642314247
Condition
New
Product Description

This book constitutes the refereed proceedings of the 24th International Conference on Computer Aided Verification, CAV 2012, held in Berkeley, CA, USA in July 2012. The 38 regular and 20 tool papers presented were carefully reviewed and selected from 185 submissions. The papers are organized in topical sections on automata and synthesis, inductive inference and termination, abstraction, concurrency and software verification, biology and probabilistic systems, embedded and control systems, SAT/SMT solving and SMT-based verification, timed and hybrid systems, hardware verification, security, verification and synthesis, and tool demonstration.

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

Single Product Purchase

$39.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
$39.99 $39.99

$39.99
See Site In stock Visit Store

Similar Products

The Family Business as a Socialisation Context for the Children of Entrepreneurs

$84.99

Integrated Reporting

$129.00

Kinderwelten aus Elternsicht

$59.99

Die extracutanen Melanocyten der Echsen (Sauria)

$59.99

Black Sea Oceanography

$329.99

Die Geheimdiplomatie des Prinzen Eugen von Savoyen

$84.99

Just Follow Me

$3.71

Glasschmelzfen

$79.99

Sleep Disorders

$59.99

Cell and Molecular Biology of the Ear

$129.00

ALLES was Sie schon immer ber WERBUNG wissen wollten

$39.99

Hitlers Uranium Club

$37.99

Functional Safety and Proof of Compliance

$79.99

The Verilog PLI Handbook

$39.99

Dynamikgerechter Entwurf von Werkzeugmaschinen- Gestellstrukturen

$84.99

Physics of High-Temperature Superconductors

$84.99

Biblical Principles of Being an Employee in Contemporary Organizations

$54.99

Ins Feld und zurck - Praktische Probleme qualitativer Forschung in der Sozialgeographie

$49.99

Vibrations of Shells and Rods

$84.99

Fibre Metal Laminates

$299.99

Fleets Go Green

$84.99

Computer Vision -- ECCV 2012. Workshops and Demonstrations

$39.99

Human-Computer Interaction - HCI International 2019

$549.99

Ultrasound

$39.99

Outlandish English Subjects in the Victorian Domestic Novel

$54.99

Corporate Sustainable Branding

$99.99

Emerging Adulthood in the COVID-19 Pandemic and Other Crises: Individual and Relational Resources

$169.99

Strategisches und operatives Logistikmanagement: Prozesse

$39.99

Rainfed Agriculture and Watershed Management

$109.00

Stress und Burnout in Organisationen

$44.99

Selves, Bodies and the Grammar of Social Worlds

$54.99

Capacities in Complex Analysis

$59.99

Proceedings of the FISITA 2012 World Automotive Congress

$169.00

Palgrave Advances in William Blake Studies

$54.99

Reproductive and Developmental Strategies

$229.00

Adam Smith

$54.99

Das Weltbild der Physik und ein Versuch seiner philosophischen Deutung

$59.99

Failing States, Collapsing Systems

$79.99

Mit Mut, Freude und Gelassenheit fhren

$44.99

Enhancing Student Support in Higher Education

$99.00