Introduction à la spécification

Enregistré dans:
Détails bibliographiques
Auteur principal : Habrias Henri (Auteur)
Autres auteurs : Gallaire Hervé (Préfacier)
Format : Livre
Langue : français
Titre complet : Introduction à la spécification / Henri Habrias,...; préface de H. Gallaire; présentation du livre par M. Jackson
Publié : Paris, Milan, Barcelone : Masson , DL 1993
Description matérielle : 1 vol. (XIX-347 p.)
Collection : Méthodologies du logiciel (Paris) ; 2
Sujets :
LEADER 03704cam a2201045 4500
001 PPN002911256
003 http://www.sudoc.fr/002911256
005 20240119055500.0
010 |a 2-225-82768-0  |b br.  |d 260 FRF 
020 |a FR  |b 09322751 
021 |a FR  |b DL 93-14257 
033 |a http://catalogue.bnf.fr/ark:/12148/cb353936553 
033 |a http://catalogue.bnf.fr/ark:/12148/cb36665264g 
035 |a 012097543  |9 sudoc 
035 |a (OCoLC)28254461 
035 |a ocm28254461 
035 |z ocm28246642 
035 |a lm76303 
035 |a sib0461616 
035 |a Evry5679 
035 |a urouen70679 
035 |a ocm28246642 
035 |a DYNIX_BUNAN_119215 
035 |a frBN012292911 
035 |a FRBNF353936550000008  |z FRBNF35393655 
035 |a frBN015347245 
035 |a FRBNF366652640000003  |z FRBNF36665264 
073 0 |a 9782225827686 
100 |a 19930702h19931993k y0frey0103 ba 
101 0 |a fre  |2 639-2 
102 |a FR 
105 |a a a 001yd 
106 |a r 
181 |6 z01  |c txt  |2 rdacontent 
181 1 |6 z01  |a i#  |b xxxe## 
182 |6 z01  |c n  |2 rdamedia 
182 1 |6 z01  |a n 
183 |6 z01  |a nga  |2 RDAfrCarrier 
200 1 |a Introduction à la spécification  |f Henri Habrias,...  |g préface de H. Gallaire  |g présentation du livre par M. Jackson 
214 0 |a Paris  |a Milan  |a Barcelone  |c Masson  |d DL 1993 
215 |a 1 vol. (XIX-347 p.)  |c ill., couv. ill.  |d 24 cm 
225 2 |a Méthodologies du logiciel  |x 1242-5656  |v 2 
320 |a Bibliogr. p. [319]-340. Index 
410 | |0 002780623  |t Méthodologies du logiciel (Paris)  |x 1242-5656  |v 2 
606 |3 PPN027673529  |a Génie logiciel  |2 rameau 
606 |3 PPN031352812  |a Z (méthode formelle)  |2 rameau 
606 |3 PPN028909917  |a Logiciels  |x Développement  |2 rameau 
606 |3 PPN02736075X  |a Systèmes d'information  |3 PPN027794083  |x Spécifications  |2 rameau 
606 |3 PPN027794083  |a Spécifications  |2 rameau 
608 |3 PPN027241408  |a Logiciels  |2 rameau 
675 |a 67  |v Éd. 1967 
676 |a 670 
680 |a QA76 
686 |a D.2.1  |2 acm 
686 |a 97Pxx  |c 2020  |2 msc 
700 1 |3 PPN026911744  |a Habrias  |b Henri  |f 1946-....  |4 070 
702 1 |3 PPN035090855  |a Gallaire  |b Hervé  |f 1944-....  |4 080 
801 3 |a FR  |b Abes  |c 20230720  |g AFNOR  |h 012097543 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b SF  |g AFNOR 
801 1 |a US  |b OCLC  |g AACR2 
801 2 |a FR  |b AUROC  |g AFNOR 
801 3 |a FR  |b BN  |g AFNOR 
801 3 |a FR  |b BN  |g AFNOR 
979 |a IUTN 
979 |a SCI 
979 |a CCFA 
930 |5 441092208:795057431  |b 441092208  |j u 
930 |5 441092104:178917184  |b 441092104  |j u 
930 |5 441092104:178917192  |b 441092104  |j u 
930 |5 441092104:178917206  |b 441092104  |j u 
930 |5 441092104:178917214  |b 441092104  |j u 
930 |5 441092104:178917222  |b 441092104  |j u 
930 |5 441092104:178917230  |b 441092104  |j u 
930 |5 441092206:808105779  |b 441092206  |j s 
915 |5 441092104:178917184  |a 1160454872  |b 1160454872 
915 |5 441092104:178917192  |a 1160539685  |b 1160539685 
915 |5 441092104:178917206  |a 1160539708  |b 1160539708 
915 |5 441092104:178917214  |a 1160539692  |b 1160539692 
915 |5 441092104:178917222  |a 1160539678  |b 1160539678 
915 |5 441092104:178917230  |a 1160539661  |b 1160539661 
919 |5 441092104:178917184  |a 1160454872 
919 |5 441092104:178917192  |a 1160539685 
919 |5 441092104:178917206  |a 1160539708 
919 |5 441092104:178917214  |a 1160539692 
919 |5 441092104:178917222  |a 1160539678 
919 |5 441092104:178917230  |a 1160539661 
991 |5 441092206:808105779  |a Exemplaire créé en masse par ITEM. le 18-01-2024 11:24 
998 |a 241777