Close modal Ma bibliothèque Tu n'as pas encore de listes. Crée-en une dans Ma biblio. Aller à Ma biblio Définir le statut Acheter sur Amazon Close modal Ma bibliothèque Tu n'as pas encore de listes. Crée-en une dans Ma biblio. Aller à Ma biblio Définir le statut Acheter sur Amazon Détails Résumé Discussions Avis Verification, Model Checking, and Abstract Interpretation par Andreas Podelski,Byron Cook Langue Allemand Publié en 2008 Maison d'édition Springer Pages 416 ISBN 9783540834823 Thèmes Computers & Technology Programming Specialty Boutique New, Used & Rental Textbooks Software Design, Testing & Engineering Programming Languages Ajouter une discussion Pas encore de discussion pour ce livre. Close modal Supprimer la discussion Es-tu sûr de vouloir supprimer cette discussion ? Cette action est irréversible. Annuler Supprimer Ajouter un avis Pas encore d'avis. Sois le premier à en donner un ! Close modal Supprimer l'avis Es-tu sûr de vouloir supprimer cet avis ? C'est irréversible. Annuler Supprimer
Verification, Model Checking, and Abstract Interpretation par Andreas Podelski,Byron Cook Langue Allemand Publié en 2008 Maison d'édition Springer Pages 416 ISBN 9783540834823 Thèmes Computers & Technology Programming Specialty Boutique New, Used & Rental Textbooks Software Design, Testing & Engineering Programming Languages
