Notice bibliographique
- Notice
000 nam 22 450
001 FRBNF345767920000007
010 .. $a 2-7261-0063-5 $b Br. $d 25 F
020 .. $a FR $b 07610546
039 .. $o OPL $a 00031450X
100 .. $a 19760616d1975 m h0frey50 ba
101 0. $a eng $a fre $g fre
102 .. $a FR
105 .. $a a ||||10|||
106 .. $a r
181 .0 $6 01 $a i $b xxxe $a b $b xb2e
181 .. $6 02 $c txt $c sti $2 rdacontent
182 .0 $6 01 $a n
182 .. $6 02 $c n $2 rdamedia
200 1. $a Construction, amélioration de programmes $b Texte imprimé $f organisé par l'I.R.I.A., Institut de recherche d'informatique et d'automatique...
1, 2, 3, juillet 1975, Arc-et-Senans $g edited by G. Huet,... G. Kahn,...
210 .. $a Rocquencourt $c I.R.I.A. $d 1975
215 .. $a 476 p. multigr. $c ill. $d 24 cm
225 |. $a Colloques I.R.I.A.
300 .. $a Notes bibliogr.
300 .. $a Textes en anglais et français
304 .. $a Mention parallèle de titre ou de responsabilité : Proving and improving programs
410 .0 $0 34234981 $t Colloques IRIA (Rocquencourt) $x 1149-0233 $v 1975, II
510 1. $z eng $a Proving and improving programs
686 .. $a 62 $2 Cadre de classement de la Bibliographie nationale française
710 || $3 12580377 $a Institut de recherche d'informatique et d'automatique $c France $b Colloque $f (1975 $e Arc-et-Senans, Doubs $4 070
801 .0 $a FR $b FR-751131015 $c 19760616 $g AFNOR $h FRBNF345767920000007 $2 intermrc
930 .. $5 FR-751131009:34576792001001 $a 8-V-77347 (1975,2) $b 759999999 $c Tolbiac - Rez de Jardin - Sciences et technique - Magasin $d O
