Retour au catalogue
Cours et exercices corrigés d'algorithmique : vérifier, tester et concevoir des programmes en les modélisant, licence et master d'informatique
ISBN-13
9782311000207
Éditeur
De Boeck Superieur
Date de publication
01/01/2010
Résumé
Ce manuel contient une introduction didactique des principes fondamentaux de la technique de vérification. Il traite de manière très pédagogique des éléments de stratégie pour vérifier et pour
0 annonce en vente actuellement
