Cours et exercices d'algorithmique: Vérifier, tester et concevoir des programmes en les modélisant, Licence et master d'informatique
Sinossi
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.
Le informazioni nella sezione "Riassunto" possono far riferimento a edizioni diverse di questo titolo.
Informazioni sull?autore
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.
Le informazioni nella sezione "Su questo libro" possono far riferimento a edizioni diverse di questo titolo.
Risultati della ricerca per Cours et exercices d'algorithmique: Vérifier, tester...
Foto dell'editore
Cours et exercices corrigés d'algorithmique: Vérifier, tester et concevoir des programmes en les modélisant
Da: Gallix, Gif sur Yvette, Francia
Valutazione del venditore 4 su 5 stelle
Condizione: Neuf. Codice articolo 9782311000207
Compra nuovo
EUR 31,50
Spese di spedizione:
EUR 12,90
Da: Francia a: U.S.A.
Quantità: 1 disponibili