000 02522cam0 2200709 4500
005 20200106032545.0
009 002911256
010 _a2-225-82768-0
_bBr.
_d260 F
020 _aFR
_b09322751
021 _aFR
_bDL 93-14257
035 _9sudoc
035 _zocm28246642
035 _5751062310
073 0 _a9782225827686
090 _946955
100 _a19930702d1993 k y0frey50 ba
200 1 _aIntroduction à la spécification
_bTexte imprimé
_fHenri Habrias,...
_gpréf. de H. Gallaire
_gprésentation du livre par M. Jackson
210 _aParis
_aMilan
_aBarcelone
_cMasson
_dcop. 1993
215 _a1 vol. (XIX-347 p.)
_cill., couv. ill
_d24 cm
225 0 _aMéthodologies du logiciel
_x1242-5656
_v2
320 _aBibliogr. p.[319]-340. Index
410 _0002780623
_tMéthodologies du logiciel (Paris)
_x1242-5656
_v2
606 _aZ (méthode formelle)
_2rameau
610 _aSystème information
610 _aRecherche
610 _aLogiciel
610 _aGénie logiciel
610 _aBase donnée relationnelle
676 _a670
686 _aD.2.1
_2acm
606 _7ba0yba0y
_aLogiciels
_xSpécifications
_2rameau
606 _7ba0yba0y
_8frefre
_aLogiciels
_xDéveloppement
_2rameau
606 _7ba0yba0y
_aGénie logiciel
_8frefre
_2rameau
606 _7ba0yba0y
_aSystèmes d'information
_8frefre
_xSpécifications
_2rameau
700 1 _9329278
_3026911744
_aHabrias
_bHenri
_4070
702 1 _9347046
_3035090855
_aGallaire
_bHervé
_f1944-....
_4080
909 _aMONO
930 _5751062310:416196896
_b751062310
_aEMP 113.841
_ju
991 _5751062310:416196896
_aexemplaire créé automatiquement par l'ABES
099 _c2005-10-26
_d2019-05-27