Construction, preuve et évaluation des programmes
Serie :
Algorithmique. Vol 1
Collection(s) :
Dunod informatique
Paru le
01/01/1989 |
Broché 182 pages
20.58 €
Indisponible
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.
