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

Brokommunikationssysteme in Unternehmen

$59.99

Womens Entrepreneurship and Economics

$109.99

Die Bodenaziditt

$59.99

Human and Machine Perception 2

$129.00

Strategische Analyse der sekundren Hypertonieprvention

$59.99

RNA Nanostructures

$169.99

How Digital Communication Technology Shapes Markets

$79.99

Distributed Computing

$54.99

Facility Management

$69.99

Sektenprvention im Unterricht

$49.99

Hepatitis B Virus

$169.00

Materials Selection and Design

$54.99

The Magic School Bus Inside a Hurricane

$6.74

Financial Instability

$109.99

Children, Social Class, and Education

$54.99

Abolitionism and the Persistence of Slavery in Italian States, 17501850

$99.99

Manual of Practice Management for Ambulatory Surgery Centers

$54.99

Regionale Wirtschaftsstatistik nach Betrieben

$59.99

New Directions in Mathematical Fluid Mechanics

$109.99

Writing Testbenches: Functional Verification of HDL Models

$249.99

Carbon Cycling in the Baltic Sea

$109.99

Financial Institutions and Markets

$84.99

Machine Learning for Materials Discovery

$129.00

Dear Dumb Diary: Am I the Princess or the Frog?

$5.99

Positive Psychologie der Hoffnung

$49.99

The Chern Symposium 1979

$84.99

Cerebral Autoregulation

$54.99

Untersuchung des Nachrichteninhaltes von Flchenstrukturen unter besonderer Bercksichtigung der Sch

$59.99

Subarachnoid Hemorrhage

$119.00

Food Proteins and Lipids

$169.99

Shakespeare and Space

$129.99

Digitalization in Industry

$139.99

The World's Most Threatening Terrorist Networks and Criminal Gangs

$54.99

Restorative Justice, Humanitarian Rhetorics, and Public Memories of Colonial Camp Cultures

$39.99

Menstruation and the Female Body in Early Modern England

$139.99

Crack Growth and Microstructure

$54.99

Language and Politics in Post-Soviet Russia

$54.99

Biopharmaceutical Manufacturing

$149.00

Julius Robert Mayers Kausalbegriff

$59.99

Dwarf Galaxies: Keys to Galaxy Formation and Evolution

$329.99