Rayon Développement d'applications, langages de programmation
Algorithmique. Vol. 1. Construction, preuve et évaluation des programmes

Fiche technique

Format : Broché
Nb de pages : 182 pages
Poids : 308 g
Dimensions : 16cm X 24cm
EAN : 9782040196059

Construction, preuve et évaluation des programmes


Série | Algorithmique
Collection(s) | Dunod informatique
Paru le
Broché 182 pages

Quatrième de couverture

Intéresse les personnes ayant déjà une certaine pratique de la programmation et qui désirent acquérir des connaissances plus approfondies, en particulier sur la preuve de la correction des programmes et sur leur évaluation.

Avis des lecteurs

Du même auteur : Pierre Berlioux

Du même auteur : Philippe Bizard