Aller au contenu principal
1 résultat trouvé

Cours et exercices corrigés d'algorithmique

Vérifier, tester et concevoir des programmes en les modélisant

Jacques Julliand
1re édition | 2010 | 272 pages | 9782311000207

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 concevoir des logiciels.

Voir la fiche détaillée
Livre31,50 €
Disponible
Ajouter au panier