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

Call Center Lexikon

$49.99

Curating Islamic Art Worldwide

$69.99

Womens Work in Special Period Cuba

$64.99

Structures for Semantics

$169.99

Let's Play!: Let's Have Fun!

$5.21

Psychoactive Drug Abuse in Hong Kong

$54.99

Isaiah Berlins Cold War Liberalism

$69.99

Financial Exclusion

$109.99

Great Power Conduct and Credibility in World Politics

$169.99

Analog Circuit Design

$169.99

Proceedings of the First Symposium on Aviation Maintenance and Management-Volume I

$219.99

Memorialising Shakespeare

$89.00

Conflict and Politics of Identity in Sudan

$39.99

Beginning Data Science with R

$84.99

Prognosen fr Start-up-Unternehmen

$17.99

Advanced Topics in the Arithmetic of Elliptic Curves

$69.99

Recent Advances in Blockchain Technology

$139.00

Prferenzbasierte Segmentierung von Fondskufern

$79.99

Fuzzy Engineering Economics with Applications

$129.00

Handbook of Integrated Circuit Industry

$849.99

Blood Groups and Human Heredity, 1900-1950

$159.99

Intelligence Sharing, Transnational Organized Crime and Multinational Peacekeeping

$39.99

The Business Case for Love

$29.99

Design of Digital Chaotic Systems Updated by Random Iterations

$54.99

Databases in Telecommunications

$54.99

Malign Masters Gentile Heidegger Lukcs Wittgenstein

$109.99

Krystallsysteme und Krystallstructur

$69.99

350 Keywords Digitalisierung

$14.99

Microfluidics Diagnostics

$219.99

Schizophasie in Linguistischer Deutung

$59.99

Guided Science Readers: Guided Reading Level D (Single-Copy Set)

$17.99

Conservative Intellectuals and Richard Nixon

$39.99

Adaptive Shyness

$109.99

Deep Learning and Visual Artificial Intelligence

$249.99

Innovationen in Familienunternehmen

$69.99

Green Transportation (A True Book: A Green Future)

$5.99

Stroke Medicine

$54.99

Sustainable Resource Use and Economic Dynamics

$169.99

Year of the Jungle

$5.96

Ear, Nose and Throat Disease

$54.99