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

Verification, Model Checking, and Abstract … The 27 full papers presented together with the abstracts of 3 invited keynote talks were carefully reviewed and selected from 62 submissions. VMCAI provides topics including: program verification, model checking, abstract interpretation, program synthesis, static analysis, type systems, deductive methods, program certification, decision procedures, theorem proving, program certification

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