Vérification de logiciels : techniques et outils du model-checking

Vérification de logiciels : techniques et outils du model-checking

Wedi'i Gadw mewn:
Manylion Llyfryddiaeth
Prif Awduron: Bérard, Béatrice, 19..-...., professeure en informatique, Bidoit, Michel, 1957- (Awdur), Laroussinie, François, 19..-...., auteur en informatique (Awdur)
Awduron Eraill: Schnoebelen, Philippe, 19..-...., auteur en informatique (Cyfarwyddwr cyhoeddi), Cécé, Gérard, 19..- (Cydweithredwr), Dufourd, Catherine, 19..- (Cydweithredwr), Finkel, Alain, 1958- (Cydweithredwr), Petrucci, Laure, 19..- (Cydweithredwr), Sutre, Grégoire, 1975- (Cydweithredwr)
Fformat: Livre papier
Iaith:Français
Cyhoeddwyd: Paris : Vuibert DL 1999.
Cyfres:Vuibert informatique
Pynciau:
Logiciels > Vérification
Logiciels > Fiabilité
Débogage
Logiciels > Développement > Contrôle de la qualité
Nodyn: Autres contributions : Laure Petrucci, Grégoire Sutre
Autres localisations: Voir dans le Sudoc
Disgrifiad
Disgrifiad o'r Eitem:Autres contributions : Laure Petrucci, Grégoire Sutre
Disgrifiad Corfforoll:1 volume (xv-197 pages) : illustrations ; 24 cm.
Llyfryddiaeth:Bibliographie p. 183-187. Index
ISBN:2711786463 (br.) :

Eitemau Tebyg