Code: 38504817

Verification, Model Checking, and Abstract Interpretation

Name: Verification, Model Checking, and Abstract Interpretation
Brand: Springer Nature Switzerland AG
SKU: 38504817
Price: 92.75 EUR
Availability: InStock
Author: Bernd Finkbeiner
ISBN: 9783030945824

by Bernd Finkbeiner, Thomas Wies

Language: English
Binding: Paperback
Number of pages: 520
Publisher: Springer Nature Switzerland AG, 2022
More about this

92.75 €

RRP: 100.48 €

You save 7.72 €

In stock at our supplier
Shipping in 5 - 8 days

Add to wishlist

Traitor King: The Scandalous Exile of the Duke & Duchess of Windsor
14.76 € -25 %
Buy
Slownik dla pielegniarek - opiekunow - rehabilitantow polsko-niemiecki . niemiecko-polski
8.39 € -15 %
Buy
Joy of Basketball
36.51 € -11 %
Buy
Jak se brání psycholog
4.04 € -34 %
Buy
Lo que debe saber todo buen republicano
15.87 €
Buy
Cads, Princes & Best Friends
30.74 €
Buy
Der tolle Bomberg, 1 DVD
21.74 €
Buy
Nuclear Power's Global Expansion: Weighing Its Costs and Risks
23.46 € -7 %
Buy
Zur Legis Actio Sacramento in Rem: Habilitationsschrift
18.40 € -1 %
Buy
Ojo de Halcon: Seis dias en la vida de ...
16.18 €
Buy
Europäische Kompetenzabgrenzung als deutsches Verfassungspostulat
70.09 €
Buy
Hemingi Chartularium Ecclesiae Wigorniensis (1723)
49.05 € -1 %
Buy
STORY OF THE 2ND WW
16.18 € -24 %
Buy
COMO PROGRAMAR EN INTERNET & WORLD WIDE WEB
80.92 €
Buy
Le préfet et les collectivités
81.83 €
Buy
Beyond A Small Town: The Unofficial Mayor of Unionville
6.36 € -7 %
Buy
Neufs Vies Du Chat Montezuma
9.40 €
Buy
Der Sockel in der Skulptur des 19. und 20. Jahrhunderts
60.28 €
Buy
WHEN THE LORD REMEMBERS HIS OW
11.52 € -10 %
Buy
Parameters in Old French Syntax: Infinitival Complements
154.36 € -7 %
Buy
Zombies vs. Robots 2
14.96 € -6 %
Buy

Give this book as a present today

Order book and choose Gift Order.
We will send you book gift voucher at once. You can give it out to anyone.
Book will be send to donee, nothing more to care about.

Book gift voucher sample Read more

More about Verification, Model Checking, and Abstract Interpretation

Book details
Synopsis
Trending among others

You get 224 loyalty points

Book synopsis

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.

Book details

Book category Books in English Computing & information technology Computer science

92.75 €

Full title: Verification, Model Checking, and Abstract Interpretation
Subtitle: 23rd International Conference, VMCAI 2022, Philadelphia, PA, USA, January 16-18, 2022, Proceedings
Author: Bernd Finkbeiner, Thomas Wies
Language: English
Binding: Paperback
Number of pages: 520
EAN: 9783030945824
ID: 38504817
Publisher: Springer Nature Switzerland AG
Weight: 807 g
Dimensions: 235 × 155 × 29 mm
Date of publishing: 14. January 2022