|
|
|
|
| LEADER |
01988nam a22003257a 4500 |
| 001 |
182151 |
| 008 |
960318t19951995xxe ||| |||| 00| 0 fre d |
| 009 |
PPN003772950 |
| 020 |
|
|
|a 2729605819 (br.) :
|c [245 FRF]
|
| 024 |
|
|
|a 9782729605810
|
| 041 |
0 |
|
|a fre
|f fre
|
| 080 |
|
|
|a 67
|
| 082 |
|
|
|a 670
|
| 084 |
|
|
|a F.3
|
| 100 |
1 |
|
|a Dufourd, Jean-François.
|
| 245 |
1 |
0 |
|a Spécifications algébriques, algorithmique et programmation
|c Jean-François Dufourd, Dominique Bechmann, Yves Bertrand,...
|
| 260 |
|
|
|a Paris :
|b InterEditions,
|c DL 1995.
|
| 300 |
|
|
|a 1 volume (xv-486 pages) :
|b illustrations, couverture illustrée en couleurs ;
|c 23 cm.
|
| 490 |
1 |
|
|a IIA Informatique, intelligence artificielle
|x 0297-5416
|
| 504 |
|
|
|a Bibliographie p. [474]-478. Index
|
| 505 |
0 |
|
|a Première partie. Spécification et programmation -- 1. Construction de programmes -- 2. Spécifications algébriques 1. Le cas équationnel pur -- 3. Spécifications algébriques 2. Le cas général -- 4. Implantation et programmation -- 5. Spécifications étendues -- 6. Piles, files et listes linéaires -- 7. Suppression de la récursivité -- 8. Complexité et optimalité -- Deuxième partie. Structures et algorithmes -- 9. Tables -- 10. Graphes 1. Spécification et implantation -- 11. Graphes 2. Algorithmes classiques -- 12. Arbres et forêts 1. Spécification et implantation -- 13. Arbres et forêts 2. Algorithmes et variétés d'arbres -- 14. Tris internes -- 15. Fichiers -- 16. Tris externes
|
| 650 |
|
|
|a C (langage de programmation)
|x Problèmes et exercices
|
| 650 |
|
|
|a Logiciels
|x Spécifications
|
| 650 |
|
|
|a Ordinateurs
|
| 650 |
|
|
|a Génie logiciel
|x Spécifications
|
| 650 |
|
|
|a Algorithmes
|
| 650 |
|
|
|a Programmation (mathématiques)
|
| 700 |
1 |
|
|a Bechmann, Dominique,
|d 19..-
|4 aut
|
| 700 |
1 |
|
|a Bertrand, Yves,
|d 1965-
|4 aut
|
| 997 |
|
|
|0 182151
|1 Livre papier
|a Ressource papier
|c 0/Orléans/
|c 1/Orléans/BU Sciences, Technologies, STAPS/
|z Orléans, BU Sciences, Technologies, STAPS, F276-32
|
