Verwandte Artikel zu 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
Inhaltsangabe
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.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Über die Autorin bzw. den 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.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Suchergebnisse für Cours et exercices d'algorithmique: Vérifier, tester...
Beispielbild für diese ISBN
Algorithmique - cours et exercices corrigés
Anbieter: medimops, Berlin, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers M02311000209-V
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithmique - cours et exercices corrigés
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers G-545-733
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Algorithmique - cours et exercices corrigés
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers G-463-673
Anzahl: 1 verfügbar