|
|
|
|
| LEADER |
01378nam a22003377a 4500 |
| 001 |
128388 |
| 008 |
961017t19961996xxe ||| |||| 00| 0 fre d |
| 009 |
PPN003970647 |
| 020 |
|
|
|a 2225853045 (br.) :
|c 180 FRF
|
| 024 |
|
|
|a 9782225853043
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 67
|
| 082 |
|
|
|a 670
|
| 084 |
|
|
|a F.3
|
| 084 |
|
|
|a D.2
|
| 100 |
1 |
|
|a Monin, Jean-François.
|
| 245 |
1 |
0 |
|a Comprendre les méthodes formelles :
|b panorama et outils logiques
|c Jean-François Monin,... ; préface de Gérard Huet,...
|
| 260 |
|
|
|a Paris ;
|a Milan ;
|a Barcelone :
|b Masson,
|c impr. 1996, cop. 1996
|e (Impr. en Belgique).
|
| 300 |
|
|
|a 1 volume (xvii-306 pages) :
|b illustrations, couverture illustrée ;
|c 24 cm.
|
| 490 |
1 |
|
|a Collection technique et scientifique des télécommunications
|x 0221-2579
|
| 504 |
|
|
|a Bibliographie p. 281-292. Index
|
| 650 |
|
|
|a Langages formels
|
| 650 |
|
|
|a Calcul formel
|x Informatique
|
| 650 |
|
|
|a Logique symbolique et mathématique
|
| 650 |
|
|
|a Ensembles, Théorie des
|
| 650 |
|
|
|a Logiciels
|x Développement
|
| 650 |
|
|
|a Génie logiciel
|
| 700 |
1 |
|
|a Huet, Gérard,
|d 1947-....,
|c informaticien.
|4 aui
|
| 917 |
|
|
|5 452342104:007207352
|a aaxx
|
| 997 |
|
|
|0 128388
|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, F76-35
|
| 999 |
|
|
|5 452342104:007207352
|c BU
|d ORLE04
|a S 96-1548
|
