|
|
|
|
| LEADER |
01216nam a22003377a 4500 |
| 001 |
101351 |
| 008 |
930702t19931993xxe ||| |||| 00| 0 fre d |
| 009 |
PPN002911256 |
| 020 |
|
|
|a 2225827680 (br.) :
|c 260 FRF
|
| 024 |
|
|
|a 9782225827686
|
| 041 |
0 |
|
|a fre
|
| 080 |
|
|
|a 67
|
| 082 |
|
|
|a 670
|
| 084 |
|
|
|a D.2.1
|
| 084 |
|
|
|a 97Pxx. 2020
|
| 100 |
1 |
|
|a Habrias, Henri,
|d 1946-
|
| 245 |
1 |
0 |
|a Introduction à la spécification
|c Henri Habrias,... ; préface de H. Gallaire ; présentation du livre par M. Jackson.
|
| 260 |
|
|
|a Paris ;
|a Milan ;
|a Barcelone :
|b Masson,
|c DL 1993.
|
| 300 |
|
|
|a 1 vol. (XIX-347 p.) :
|b ill., couv. ill. ;
|c 24 cm.
|
| 490 |
1 |
|
|a Méthodologies du logiciel
|x 1242-5656
|v 2
|
| 504 |
|
|
|a Bibliogr. p. [319]-340. Index
|
| 650 |
|
|
|a Génie logiciel
|
| 650 |
|
|
|a Z (méthode formelle)
|
| 650 |
|
|
|a Logiciels
|x Développement
|
| 650 |
|
|
|a Systèmes d'information
|x Spécifications
|
| 650 |
|
|
|a Spécifications
|
| 650 |
|
|
|a Logiciels
|
| 700 |
1 |
|
|a Gallaire, Hervé,
|d 1944-
|4 aui
|
| 915 |
|
|
|5 410182301:499038258
|a EVE-2607
|b 2240030144
|
| 997 |
|
|
|0 101351
|1 Livre papier
|a Ressource papier
|b INSA
|c 0/Blois/
|c 1/Blois/INSA CVL/
|z Blois, INSA CVL, 005.1 HAB
|
| 999 |
|
|
|5 410182301:499038258
|a EV14j
|b EVCINF
|
