Artículos relacionados a Cours et exercices d'algorithmique: Vérifier, tester...

Cours et exercices d'algorithmique: Vérifier, tester et concevoir des programmes en les modélisant, Licence et master d'informatique

 
9782311000207: Cours et exercices d'algorithmique: Vérifier, tester et concevoir des programmes en les modélisant, Licence et master d'informatique

Sinopsis

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.

Acerca del autor

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.

Comprar nuevo

Ver este artículo

EUR 12,90 gastos de envío desde Francia a Estados Unidos de America

Destinos, gastos y plazos de envío

Resultados de la búsqueda para Cours et exercices d'algorithmique: Vérifier, tester...

Imagen de archivo

Julliand, Jacques
Publicado por DE BOECK SUP, 2010
ISBN 10: 2311000209 ISBN 13: 9782311000207
Nuevo

Librería: Gallix, Gif sur Yvette, Francia

Calificación del vendedor: 4 de 5 estrellas Valoración 4 estrellas, Más información sobre las valoraciones de los vendedores

Condición: Neuf. Nº de ref. del artículo: 9782311000207

Contactar al vendedor

Comprar nuevo

EUR 31,50
Convertir moneda
Gastos de envío: EUR 12,90
De Francia a Estados Unidos de America
Destinos, gastos y plazos de envío

Cantidad disponible: 1 disponibles

Añadir al carrito