|
|
|
|
| LEADER |
02079cam a2200517 4500 |
| 001 |
PPN003772950 |
| 005 |
20190409013800.0 |
| 009 |
DYNIX_BUNAN_313639 |
| 010 |
|
|
|a 2-7296-0581-9
|b br.
|d 245 F
|
| 020 |
|
|
|a FR
|b 09627269
|
| 021 |
|
|
|a FR
|b DL 96-03631
|
| 035 |
|
|
|a frBN021039978
|
| 100 |
|
|
|a 19960318d1995 k u0frey0103 ba
|
| 101 |
0 |
|
|a fre
|
| 102 |
|
|
|a FR
|
| 105 |
|
|
|a a zz 00|z|
|
| 106 |
|
|
|a r
|
| 200 |
1 |
|
|a Spécifications algébriques, algorithmique et programmation
|f Jean-François Dufourd,... Dominique Bechmann,... Yves Bertrand,...
|
| 210 |
|
|
|a Paris
|c InterEditions
|d 1995
|e Impr. en Belgique
|
| 215 |
|
|
|a XV-486 p.
|c ill., couv. ill. en coul.
|d 23 cm
|
| 225 |
2 |
|
|a IIA Informatique, intelligence artificielle
|
| 300 |
|
|
|a Bibliogr. p. 474-478. Index
|
| 345 |
|
|
|b 9782729605810
|
| 410 |
|
0 |
|3 frBN004205718
|t IIA Informatique intelligence artificielle.
|x 0297-5416
|v 1995
|
| 606 |
|
|
|3 frBN001990384
|a Génie logiciel
|3 frBN00212391X
|x Spécifications
|
| 606 |
|
|
|3 frBN001574418
|a Algorithmes
|
| 606 |
|
|
|3 frBN001535924
|a Programmation (mathématiques)
|
| 675 |
|
|
|a 67
|v Éd. 1967
|
| 676 |
|
|
|a 670
|
| 700 |
|
1 |
|3 frBN012162825
|a Dufourd
|b Jean-François
|
| 701 |
|
1 |
|3 frBN012684606
|a Bechmann
|b Dominique
|
| 701 |
|
1 |
|3 frBN012684613
|a Bertrand
|b Yves
|f 1965-....
|
| 801 |
|
3 |
|a FR
|b BN
|c 19970924
|g AFNOR
|
| 960 |
|
|
|3 frBN001990384
|a Génie du logiciel
|9 60601
|
| 960 |
|
|
|3 frBN001990384
|a Ingénierie du logiciel
|9 60601
|
| 960 |
|
|
|3 frBN001990384
|a Ingénierie informatique
|9 60601
|
| 960 |
|
|
|3 frBN001990384
|a Méthodes formelles (informatique)
|9 60601
|
| 960 |
|
|
|3 frBN001990384
|a Technique du logiciel
|9 60601
|
| 960 |
|
|
|3 frBN001574418
|a Algorithme d'Euclide
|9 60602
|
| 960 |
|
|
|3 frBN001574418
|a Algorithmique
|9 60602
|
| 960 |
|
|
|3 frBN001574418
|a Euclide, Algorithme d'
|9 60602
|
| 960 |
|
|
|3 frBN001535924
|a Programmation mathématique
|9 60603
|
| 979 |
|
|
|a SCI
|
| 990 |
|
|
|a 313639
|
| 993 |
|
|
|a 1160935913
|b SCI
|c 681.324 DUF
|d EM
|e INFAUT12
|f I
|g 19-02-1998
|h 03-02-2000
|i 07-07-2003
|k 37.96
|o 30-10-2003
|p 30
|s 093591
|t EM
|u SCINF12
|v i
|
| 998 |
|
|
|a 132270
|
Nantilus
