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

This book constitutes the proceedings of the 24th International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2023, which took place in Boston, USA, in January 2023. The 17 full papers presented in this book were carefully reviewed and selected from 34 submissions. The contributions deal with program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, 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: $64.99 - $64.99
BEST PRICE

Single Product Purchase

$64.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
$64.99 $64.99

$64.99
See Site In stock Visit Store

Similar Products

Membranes and Sensory Transduction

$39.99

Creatine and Creatine Kinase in Health and Disease

$169.99

Contributions to Ubiquitous Computing

$169.99

Primary Care for Older Adults

$109.99

Die Landtierwelt der Mittleren Hohen Tauern

$49.99

Computational Methods and Experimental Testing In Mechanical Engineering

$169.99

Central Nervous System Monitoring in Anesthesia and Intensive Care

$84.99

Samii's Essentials in Neurosurgery

$319.00

Laborpraxis Band 3: Trennungsmethoden

$39.99

Frontiers of Combining Systems

$39.99

Complex Analysis. Kentucky 1976

$29.99

The Critique of Archaeological Economy

$199.99

Risks and Security of Internet and Systems

$99.00

Vorschriften fr die Konstruktion und Prfung von Installationsmaterial

$49.99

Key Processes in Solar-Terrestrial Physics

$109.99

The Federal Nation

$54.99

Synthesis Techniques and Optimizations for Reconfigurable Systems

$109.99

Diskrete Mathematik

$19.99

Neue Wege zum Kunden

$59.99

Cognitive Computing - ICCC 2024

$44.99

Three Decades of Polish Socio-Economic Transformations

$109.99

Access Control Management in Cloud Environments

$39.99

Vergleich der technischen und wirtschaftlichen Grenzbedingungen beim Bau von unterirdischen Tunnelr

$59.99

Essential Readings in Light Metals, Volume 2, Aluminum Reduction Technology

$259.00

New Optimization Techniques in Engineering

$219.99

I Survived the San Francisco Earthquake, 1906 (#5)

$4.49

The Freedom of the Self

$39.99

Der Ausbau der Einrichtung des Versuchsfeldes fr Werkzeugmaschinen an der Technischen Hochschule zu

$54.99

LLRW Disposal Facility Siting

$39.99

The Memory Phenomenon in Contemporary Historical Writing

$29.99

Gynecologic Oncology

$129.00

Fascism and Millennial American Cinema

$119.99

The Glutamate/GABA-Glutamine Cycle

$219.99

Zinsswaps

$39.99

Internationale Tagung der Walzwerker

$69.99

Perspektiven der Berufs- und Wirtschaftspdagogik

$59.99

Textbook of Cardiorenal Medicine

$54.99

Rotating Machineries

$54.99

Mechanism and Machine Science

$169.00

Lokaljournalismus

$19.99