Type(s) de contenu et mode(s) de consultation : Texte noté : sans médiation

Auteur(s) : Berlioux, Pierre. Auteur du texte  Voir les notices liées en tant qu'auteur
Bizard, Philippe  Voir les notices liées en tant qu'auteur

Titre(s) : Algorithmique [Texte imprimé] : construction, preuve et évaluation des programmes / par Pierre Berlioux,... Philippe Bizard,...

Édition : 2e éd.

Publication : Paris : Dunod, 1985

Impression : 42-Saint-Étienne : Impr. Dumas

Description matérielle : VIII-183 p. ; 24 cm

Collection : Dunod informatique, ISSN 0291-1604

Lien à la collection : Dunod informatique  Voir toutes les notices liées

Note(s) : Bibliogr. p. 180-182

Sujet(s) : Logiciels  Voir les notices liées en tant que sujet
Évaluation des logiciels  Voir les notices liées en tant que sujet

Identifiants, prix et caractéristiques : ISBN 2-04-015771-9 (Br.) : 65 F

Identifiant de la notice  : ark:/12148/cb366185671

Notice n° :  FRBNF36618567