Algorithmique : construction, preuve et évaluation des programmes
Enregistré dans:
Auteurs principaux : | , |
---|---|
Format : | Livre |
Langue : | français |
Titre complet : | Algorithmique : construction, preuve et évaluation des programmes / par Pierre Berlioux,... Philippe Bizard,... |
Édition : | 2e édition |
Publié : |
Paris :
Dunod
, DL 1985 |
Description matérielle : | 1 vol. (VIII-183 p.) |
Collection : | Dunod informatique |
Sujets : |
Variantes de titre : | Algorithmique Construction, preuve et évaluation des programmes |
---|---|
Bibliographie : | Bibliogr. p. 180-182 |
ISBN : | 2-04-015771-9 |