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 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings par Bernhard Steffen , Giorgio Levi Langue Anglais Publié en 2003 Maison d'édition Springer Pages 325 ISBN 9783540246220 Thèmes Programming Mathematics Computer Science Computers Discrete Mathematics Software Development & Engineering Information Technology Compilers 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 5th International Conference, VMCAI 2004, Venice, January 11-13, 2004, Proceedings par Bernhard Steffen , Giorgio Levi Langue Anglais Publié en 2003 Maison d'édition Springer Pages 325 ISBN 9783540246220 Thèmes Programming Mathematics Computer Science Computers Discrete Mathematics Software Development & Engineering Information Technology Compilers
