Articoli correlati 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
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.
Compra usato
Condizioni: molto buonoGut/Very good: Buch bzw. Schutzumschlag...
Visualizza questo articolo
EUR 24,10
EUR 4,50 per la spedizione da Germania a Italia
Destinazione, tempi e costiRisultati della ricerca per Cours et exercices d'algorithmique: Vérifier, tester...
Foto dell'editore
Algorithmique - cours et exercices corrigés
Da: medimops, Berlin, Germania
Valutazione del venditore 5 su 5 stelle
Condizione: very good. Gut/Very good: Buch bzw. Schutzumschlag mit wenigen Gebrauchsspuren an Einband, Schutzumschlag oder Seiten. / Describes a book or dust jacket that does show some signs of wear on either the binding, dust jacket or pages. Codice articolo M02311000209-V
Quantità: 1 disponibili
Foto dell'editore
Algorithmique - cours et exercices corrigés
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: Très 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, Very good. Former library book. Edition 2010. Ammareal gives back up to 15% of this item's net price to charity organizations. Codice articolo G-545-733
Quantità: 1 disponibili
Foto dell'editore
Algorithmique - cours et exercices corrigés
Da: Ammareal, Morangis, Francia
Valutazione del venditore 5 su 5 stelle
Softcover. Condizione: 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. Codice articolo G-463-673
Quantità: 1 disponibili