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

Verification, Model Checking, and Abstract Interpretation

Verification, Model Checking, and Abstract Interpretation

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

This book constitutes the refereed proceedings of the 19th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2018, held in Los Angeles, CA, USA, in January 2018. The 24 full papers presented together with the abstracts of 3 invited keynotes and 1 invited tutorial were carefully reviewed and selected from 43 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification, debugging techniques, program transformation, optimization, and hybrid and cyber-physical systems.

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

A Practical Approach to Asian Rhinoplasty

$169.99

Women and Underrepresented Minorities in Computing

$29.99

Yes Logo

$89.99

Neutrotransmitter Release and Uptake

$84.99

Swasserflora von Mitteleuropa, Bd. 6 - Freshwater Flora of Central Europe, Vol. 6: Dinophyceae

$179.99

Global Health Governance and the Fight Against HIV/AIDS

$84.99

Push-Pull Tests for Site Characterization

$109.99

Die Betriebswissenschaft des Eisenbahngtertarifs

$59.99

Safety of Thermal Water Reactors

$84.99

Tragwiderstand von Hochhusern

$49.99

Literary Journalism and Social Justice

$119.00

Adapting Proofs-as-Programs

$129.00

Machine Translation

$139.99

Digitale Bildbearbeitung fr Fotografen

$69.95

Leadership and Communication

$54.99

Continuum Thermodynamics and Constitutive Theory

$179.99

Social Security and Economic Globalization

$39.99

Thomas Hardy: Art and Thought

$29.99

Unified Science

$219.99

Chinas Foreign-Invested Limited Partnership Enterprise

$109.99

Telekommunikationswirtschaft in der Europischen Union

$59.99

March: Book One

$11.21

Industrial Innovation

$109.99

Rheinisch-Westflische Akademie der Wissenschaften

$69.99

Numerische Mathematik

$69.99

Voting Procedures Under a Restricted Domain

$54.99

Environmental Metal Pollutants, Reactive Oxygen Intermediaries and Genotoxicity

$129.00

Die Situation der Katakombenforschung in Rom

$49.99

Neue Entphenolungsanlagen im Ruhrkohlenbezirk

$49.99

Die Chirurgie des Vegetativen Nervensystems

$59.99

Physics of the Solar Corona and Transition Region

$169.00

Landlord and Tenant Law

$29.99

The City of Grace

$79.99

Regulation A+

$37.99

Printed Circuit Engineering

$39.99

Ethnografie

$24.99

Poisson Theory of Elastic Plates

$84.99

Starvation in Bacteria

$219.99

Die Gewebe

$44.99

The Presidency in Mexican Politics

$54.99