Verification, Model Checking, and Abstract Interpretation.pdf

Verification, Model Checking, and Abstract Interpretation

Date de parution

TÉLÉCHARGER

LIRE EN LIGNE

TAILLE DU FICHIER 4.98 MB
ISBN 9783642113185
AUTEUR Gilles Barthe
FICHIER Verification, Model Checking, and Abstract Interpretation.pdf
DATE 03/01/2020

16th International Conference on Verification, … Date: January 12, 2014 - January 14, 2014 VMCAI provides a forum for researchers from the communities of Verification, Model Checking, and Abstract Interpretation, facilitating interaction, cross-fertilization, and advancement of hybrid methods that combine these and related areas.

PC et MAC

Lisez l'eBook directement après l'avoir téléchargé via "Lire maintenant" dans votre navigateur ou avec le logiciel de lecture gratuit Adobe Reader et Google Chrome.

Prime

Livraison gratuite pour les clients Bonuscard

eBook Enligne

Accès instantané à tous les eBooks - via téléchargement et lecture en ligne