Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Name: Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
Author: Yakir Vizel
ISBN: 9783030670665

Fritz Henglein Édition : Sharon Shoham , Yakir Vizel

12 janvier 2021

145,95 $

Prix en ligne. Les prix et les offres peuvent différer en magasin.

M’expédier cet article

Vérification des stocks…

Acheter maintenant et ramasser en magasin

Vérification des stocks…

Trouver en magasin

Vérification des stocks…

Quantity

Obtenez 730 points et profitez d’un rabais additionnel avec plum+. .

Description

Theoretical Computer Science and General Issues

Auteur

Évaluation éditoriale

sharon shoham

Nom du produit	Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings
Marque	null
Sous-marque	null
Type	null
Étape de vie	null
Convient aux personnes de	null
Genre	null
Dimensions à l’expédition	9" H x 6" W x 1" L
Taille	null
Taille	null
Couleur	null
Famille de couleurs	null
Style	null
Langue	anglais
Va au four à micro-ondes	null
Genre	null
Va au lave-vaisselle	null
Assemblage requis	null
Piles requises	null
Piles incluses	null
Écologique	null
Exclusivité Indigo	null
Du Canada	null
Ingrédients	null
Allergènes	null
Cote ESRB	null
Style de la carte-cadeau	null
Type de carte-cadeau	null
Format	Couverture souple
Pages	604
Date de sortie	12 janvier 2021
Publié par	Springer Nature
ISBN	9783030670665

Verification, Model Checking, And Abstract Interpretation: 22nd International Conference, Vmcai 2021, Copenhagen, Denmark, January 17-19, 2021, Proceedings

Description

Auteur

Cotes et évaluations

Évaluation éditoriale