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
Description
Historique des publications : Numéro thématique de : "TSI. Technique et science informatiques", vol. 22 no. 1, 2003
Bibliographie : Bibliogr. en fin de partie
ISBN : 2-7462-0651-X