Langue:

Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings

Giacobazzi, Roberto ; Berdine, Josh, chercheur en informatique ; Mastroeni, Isabella, chercheur en informatique ; International Conference on Verification, Model Checking, and Abstract Interpretation 433352 14 2013 Rome, Italy

Voir les exemplaires

Titre:
Verification, model checking, and abstract interpretation : 14th International Conference, VMCAI 2013, Rome, Italy, January 20-22, 2013, proceedings
Auteur: Giacobazzi, Roberto
Autre(s) auteur(s): Berdine, Josh, chercheur en informatique;
Mastroeni, Isabella, chercheur en informatique;
International Conference on Verification, Model Checking, and Abstract Interpretation 433352 14 2013 Rome, Italy
Sujets: Logiciels -- Vérification;
Systèmes, Analyse de;
Logiciel;
Interprétation abstraite;
Analyse statique
Éditeur: Heidelberg Dordrecht London New York : Springer
Date de publication: 2013
Format: 1 vol. (XI-556 p.) ; 24 cm
Langue: Anglais
Identifiant: ISBN 978-3-642-35872-2 ;ISBN 3-642-35872-1
Source: Mines ParisTech (catalogue)

Liens

Retour à la liste des résultats