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.
"Sinopsis" puede pertenecer a otra edición de este libro.
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.
"Sobre este título" puede pertenecer a otra edición de este libro.
EUR 12,90 gastos de envío desde Francia a Estados Unidos de America
Destinos, gastos y plazos de envíoLibrería: Gallix, Gif sur Yvette, Francia
Condición: Neuf. Nº de ref. del artículo: 9782311000207
Cantidad disponible: 1 disponibles