Verification, Model Checking, and Abstract Interpretation eBook

Galabria.be Verification, Model Checking, and Abstract Interpretation Image
Date de parution
INFORMATION
DATE DE PUBLICATION 2014-Jan-01
ISBN 9783642540127
AUTEUR Xavier Rival
TAILLE DU FICHIER 2,97 MB

Où puis-je lire gratuitement le livre de Verification, Model Checking, and Abstract Interpretation en ligne ? Recherchez un livre Verification, Model Checking, and Abstract Interpretation en format PDF sur galabria.be. Il existe également d'autres livres de Xavier Rival.

In computer science, abstract interpretation is a theory of sound approximation of the semantics of computer programs, based on monotonic functions over ordered sets, especially lattices.It can be viewed as a partial execution of a computer program which gains information about its semantics (e.g., control-flow, data-flow) without performing all the calculations.

LIVRES CONNEXES