Méthode B

Méthode B

Enregistré dans:
Détails bibliographiques
Autres auteurs : Bert Didier (Éditeur scientifique), Habrias Henri (Éditeur scientifique), Donzeau-Gouge Viguié Véronique (Éditeur scientifique)
Format : Livre
Langue : français
Titre complet : Méthode B / sous la dir. de Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge
Publié : Paris : Hermès Science , 2003
Lavoisier
Description matérielle : 132 p.
Collection : TSI. Technique et science informatiques ; 22, no. 1
Sujets :
B (méthode formelle)
Logiciels > Essais
Logiciels > Validation
Logiciels > Développement
Génie logiciel
Documents associés : Fait partie de l'ensemble: TSI. Technique et science informatiques
LEADER 01662cam a2200433 4500
001 PPN074145967
003 http://www.sudoc.fr/074145967
005 20230126061100.0
010 |a 2-7462-0651-X  |b br. 
035 |a (OCoLC)491944886 
100 |a 20030922d2003 k y0frey0103 ba 
101 0 |a fre  |2 639-2 
102 |a FR 
105 |a a z 000yy 
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 
200 1 |a Méthode B  |f sous la dir. de Didier Bert, Henri Habrias, Véronique Viguié Donzeau-Gouge 
210 |a Paris  |c Hermès Science  |c Lavoisier  |d 2003 
215 |a 132 p.  |c ill.  |d 24 cm 
305 |a Numéro thématique de : "TSI. Technique et science informatiques", vol. 22 no. 1, 2003 
320 |a Bibliogr. en fin de partie 
461 | |0 013305034  |t TSI. Technique et science informatiques  |x 0752-4072  |v 22, no. 1 
606 |3 PPN035004355  |a B (méthode formelle)  |2 rameau 
606 |3 PPN02788547X  |a Logiciels  |x Essais  |2 rameau 
606 |3 PPN053469933  |a Logiciels  |x Validation  |2 rameau 
606 |3 PPN028909917  |a Logiciels  |x Développement  |2 rameau 
606 |3 PPN027673529  |a Génie logiciel  |2 rameau 
702 1 |3 PPN05013423X  |a Bert  |b Didier  |4 340 
702 1 |3 PPN026911744  |a Habrias  |b Henri  |f 1946-....  |4 340 
702 1 |3 PPN026834863  |a Donzeau-Gouge Viguié  |b Véronique  |4 340 
801 3 |a FR  |b Abes  |c 20200226  |g AFNOR 
979 |a IUTN 
930 |5 441092206:27435411X  |b 441092206  |j s 
991 |5 441092206:27435411X  |a Rétroconversion IUT Nantes 
991 |5 441092206:27435411X  |a Exemplaire modifié automatiquement. le 25-01-2023 15:34 
998 |a 467494