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

Auteur(s) : Institut de recherche d'informatique et d'automatique (France). Colloque (1975 ; Arc-et-Senans, Doubs)  Voir les notices liées en tant qu'auteur

Titre(s) : Construction, amélioration de programmes [Texte imprimé] / organisé par l'I.R.I.A., Institut de recherche d'informatique et d'automatique... 1, 2, 3, juillet 1975, Arc-et-Senans ; edited by G. Huet,... G. Kahn,...

Publication : Rocquencourt : I.R.I.A., 1975

Description matérielle : 476 p. multigr. : ill. ; 24 cm

Collection : Colloques I.R.I.A.

Lien à la collection : Colloques IRIA (Rocquencourt)  Voir toutes les notices liées

Note(s) : Notes bibliogr.. - Textes en anglais et français

Autre(s) auteur(s) : Huet, Gérard (1947-.... ; informaticien). Éditeur scientifique  Voir les notices liées en tant qu'auteur
Kahn, Gilles (1946-2006). Éditeur scientifique  Voir les notices liées en tant qu'auteur

Autre(s) forme(s) du titre : 
- Titre(s) parallèle(s) : Proving and improving programs

Identifiants, prix et caractéristiques : ISBN 2-7261-0063-5 (Br.) : 25 F

Identifiant de la notice  : ark:/12148/cb345767923

Notice n° :  FRBNF34576792