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.
Résultats de recherche pour Algorithmique - cours et exercices corrigés
Image d'archives
Algorithmique - cours et exercices corrigés
Vendeur : Ammareal, Morangis, France
Évaluation du vendeur 5 sur 5 étoiles
Softcover. Etat : Bon. Ancien livre de bibliothèque avec équipements. Edition 2010. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations. N° de réf. du vendeur G-463-673
Quantité disponible : 1 disponible(s)