Articles liés à Algorithmique - cours et exercices corrigés
Synopsis
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.
Les informations fournies dans la section « Synopsis » peuvent faire référence à une autre édition de ce titre.
À propos de l'auteur
Jacques Julliand est enseignant-chercheur à l''université de Franche-Comté (Laboratoire d'informatique). Élaborés pour les étudiants de Licence et de Master d'informatique (sous l'intitulé Preuve et évaluation de programmes et Spécification, vérification et test), les cours qui sont à l''origine de ce manuel ont été également diffusés à distance.
Les informations fournies dans la section « A propos du livre » peuvent faire référence à une autre édition de ce titre.