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
Chargement en cours