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

This book constitutes the proceedings of the 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2022, which took place in Philadelphia, PA, USA, in January 2022. The 22 papers presented in this volume were carefully reviewed from 48 submissions. VMCAI provides a forum for researchers working on verification, model checking, and abstract interpretation and facilitates interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

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

Single Product Purchase

$79.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
$79.99 $79.99

$79.99
See Site In stock Visit Store

Similar Products

Ways Out Of Social Isolation For Older People In The Context Of New Media

$79.99

Seismic Hazard in Mediterranean Regions

$219.99

Atlas of PET/MR Imaging in Oncology

$99.00

Die Hypertoniekrankheiten

$59.99

Financial Reform in Developing Countries

$169.99

Revolutionary Changes in Understanding Man and Society

$39.99

Muslims in the Western World

$99.00

Brger und Demokratie in Ost und West

$59.99

Perlen der Mathematik

$29.99

Mechanische Schwingungen und ihre Messung

$84.99

Animals in Danger (A True Book: Understanding Climate Change)

$5.96

Serial Rings

$54.99

Structural Classification of Minerals

$109.99

Endemism in Vascular Plants

$129.00

Six Sigma for Students

$99.00

Siberian Traps and Pt-Cu-Ni Deposits in the Norilsk Area

$129.00

Estrogen Receptors

$119.00

Climate Change as Societal Risk

$34.99

Osteoimmunology

$129.00

Services Computing SCC 2023

$54.99

Innovation und Beteiligung in der betrieblichen Praxis

$69.99

Potato Staple Food Processing Technology

$54.99

Solving Non-standard Packing Problems by Global Optimization and Heuristics

$54.99

Manned Laboratories in Space

$109.99

Science Policy, Ethics, and Economic Methodology

$169.99

The Wulff Crystal in Ising and Percolation Models

$39.99

Fundamentals of Queuing Systems

$109.99

Dick de Jongh on Intuitionistic and Provability Logics

$139.99

A First Course in Group Theory

$54.99

The Serbian Language in the Digital Age

$54.99

Theory of Electromagnetic Beams

$59.99

Fractals and Fractional Calculus in Continuum Mechanics

$139.99

Quantitative Datenanalyse

$37.99

Institutionelle Herausforderungen im Neuen Europa

$59.99

Cancer in Adolescents and Young Adults

$219.00

The Ice Garden (Hardcover)

$13.49

Clinical Trials in Rheumatology

$169.00

Facial Volumization with Fillers

$169.99

Die Stromversorgung der Groindustrie

$59.99

The Definitive Guide to SOA

$74.99