Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Name: Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings
Author: Damien Zufferey
ISBN: 9783030393212

Dirk Beyer Édition : Damien Zufferey

7 février 2020

131,50 $

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 658 points et profitez d’un rabais additionnel avec plum+. .

Description

Theoretical Computer Science and General Issues

Auteur

Évaluation éditoriale

damien zufferey

Nom du produit	Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, 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	471
Date de sortie	7 février 2020
Publié par	Springer Nature
ISBN	9783030393212

Verification, Model Checking, And Abstract Interpretation: 21st International Conference, Vmcai 2020, New Orleans, La, Usa, January 16-21, 2020, Proceedings

Description

Auteur

Cotes et évaluations

Évaluation éditoriale