Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings

Author:   Fritz Henglein ,  Sharon Shoham ,  Yakir Vizel
Publisher:   Springer Nature Switzerland AG
Edition:   1st ed. 2021
Volume:   12597
ISBN:  

9783030670665


Pages:   604
Publication Date:   12 January 2021
Format:   Paperback
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Our Price $206.97 Quantity:  
Add to Cart

Share |

Verification, Model Checking, and Abstract Interpretation: 22nd International Conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021, Proceedings


Add your own review!

Overview

Full Product Details

Author:   Fritz Henglein ,  Sharon Shoham ,  Yakir Vizel
Publisher:   Springer Nature Switzerland AG
Imprint:   Springer Nature Switzerland AG
Edition:   1st ed. 2021
Volume:   12597
Weight:   0.937kg
ISBN:  

9783030670665


ISBN 10:   303067066
Pages:   604
Publication Date:   12 January 2021
Audience:   Professional and scholarly ,  Professional & Vocational
Format:   Paperback
Publisher's Status:   Active
Availability:   Manufactured on demand   Availability explained
We will order this item for you from a manufactured on demand supplier.

Table of Contents

Reviews

Author Information

Tab Content 6

Author Website:  

Customer Reviews

Recent Reviews

No review item found!

Add your own review!

Countries Available

All regions
Latest Reading Guide

Aorrng

Shopping Cart
Your cart is empty
Shopping cart
Mailing List