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

Meet the Bigfeet (Hardcover)

$10.49

Oxidative Stress and Toxicity in Reproductive Biology and Medicine

$139.00

Engineering in Dependability of Computer Systems and Networks

$129.00

Handbook of Pain and Palliative Care

$599.99

Sein und Zahl

$29.99

Economic Models, Estimation and Risk Programming: Essays in Honor of Gerhard Tintner

$109.99

Ontology-Based Query Processing for Global Information Systems

$169.99

Deformation Compatibility Control for Engineering Structures

$84.99

Security, Privacy, and Anonymity in Computation, Communication, and Storage

$54.99

Artificial Neural Networks

$119.99

Herz Kreislauf kompakt

$49.95

Teilhabe an digitaler Bildung

$54.99

The University as a Business

$39.99

A Business Leaders Guide to Philosophy

$64.99

A Course on Topological Vector Spaces

$44.99

Navigating the Technological Tide: The Evolution and Challenges of Business Model Innovation

$149.00

Issues in Upper Secondary Science Education

$39.99

Umweltinformationssysteme - Wie trgt die Digitalisierung zur Nachhaltigkeit bei?

$99.99

Computational Methods for Linear Integral Equations

$54.99

Fluid Flow, Heat Transfer and Boiling in Micro-Channels

$169.99

The Logic of Categorial Grammars

$59.99

Optimal Control and Dynamic Games

$129.00

Just Write!

$3.71

Electronic Government

$39.99

Lehrbuch der Nervenkrankheiten

$49.99

Novel Mathematics Inspired by Industrial Challenges

$79.99

Health Care Computing

$39.99

The Essential Guide to Healthcare Professional Wellness

$27.99

Resource Governance and Developmental States in the Global South

$39.99

Die Einbindung des Absatz- und Produktionsbereichs in Innovationsprozesse

$79.99

Between Certainty and Uncertainty

$84.99

Other People's Kids

$54.99

Security in Smart Cities: Models, Applications, and Challenges

$109.99

Severe Depression

$39.99

Einkommensteuer-Durchfhrungsverordnung

$59.99

Ohio's Education Reform Challenges

$49.99

Handbuch Finanzmanagement in der Praxis

$229.00

Der Zehnerbergang zur Anbahnung eines Stellenwertverstndnisses

$64.99

Families of Automorphic Forms and the Trace Formula

$219.99

Chinese Banking Reform

$139.99