Verwandte Artikel zu Cours et exercices corrigés d'algorithmique: Vérifier,...
Cours et exercices corrigés d'algorithmique: Vérifier, tester et concevoir des programmes en les modélisant - Softcover
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den Autor
Jacques Julliand est enseignant-chercheur à l'université de Franche-Comté (Laboratoire d'informatique). Elaboré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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.