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

This book constitutes the proceedings of the 22nd International Conference on Verification, Model Checking, and Abstract Interpretation, VMCAI 2021, which was held virtually during January 17-19, 2021. The conference was planned to take place in Copenhagen, Denmark, but changed to an online event due to the COVID-19 pandemic. The 23 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. The papers presented in this volume were organized in the following topical sections: hyperproperties and infinite-state systems; concurrent and distributed systems; checking; synthesis and repair; applications; and decision procedures.

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

Key Topics in Perinatal Mental Health

$219.99

Die Verpflichtungen der Staaten aus den Urteilen des Europischen Gerichtshofs fr Menschenrechte /

$74.99

Noten an Deutschlands Hochschulen

$44.99

Urbanization and Production of Space

$159.99

Family Abuse

$54.99

Everyday Conceptions of Emotion

$329.99

Advances in Allogeneic Hematopoietic Stem Cell Transplantation

$219.99

Risikofaktoren der Schwangerschaft

$79.99

God and Man According To Tolstoy

$54.99

Versandhandelsmanagement

$79.99

Rookie Reader-Level A: Hello, Doctor

$3.71

Die Situation der modernen Physik

$59.99

Internationales Management fr Dienstleistungsbetriebe

$34.99

Audrey Wood and the Playwrights

$54.99

Phase Diagrams and Physical Properties of Nonequilibrium Alloys: 5 Component Amorphous Alloys

$129.00

Goodwillbilanzierung nach US-GAAP

$99.00

Technikgesttzte Kommunikation und Kooperation im Bro

$69.99

Seven Moralities of Human Resource Management

$109.99

System-Level Design Techniques for Energy-Efficient Embedded Systems

$84.99

Augmented and Virtual Reality in the Metaverse

$169.00

Hermeneutics. Method and Methodology

$159.99

The Consumer Benchmarks in the Unfair Commercial Practices Directive

$54.99

Beginning Rails 4

$39.99

Stochastic Volatility in Financial Markets

$84.99

Zur Entwicklung der Arbeiterbewegung in Ruland bis zur groen Revolution von 1905

$59.99

Functional Exercise Anatomy and Physiology for Physiotherapists

$139.99

Advanced Technology for Smart Environment and Energy

$129.99

Modular Invariant Theory

$109.00

Fintech and Islamic Finance

$99.00

Essen in Kindertageseinrichtungen und Grundschulen

$49.99

Semi-Classical Approximation in Quantum Mechanics

$109.99

An Introduction to the Mathematical Theory of Dynamic Materials

$109.99

The Concept of Truth

$39.99

Spanende Fertigung

$84.99

Judicial Practice, Customary International Criminal Law and Nullum Crimen Sine Lege

$139.99

Energy of the Russian Arctic

$169.99

Observations Concerning the Planet Venus

$109.99

Making Sibling Teams Work

$14.99

Informal Payments and Regulations in China's Healthcare System

$39.99

Rethinking Psychopathology

$159.99