Détails bibliographiques
Auteurs principaux : |
Bérard Béatrice
(Auteur),
Bidoit Michel
(Auteur),
Finkel Alain
(Auteur),
Schnoebelen Philippe
(Auteur) |
Autres auteurs : |
McKenzie Pierre
(Traducteur) |
Format : |
Livre |
Langue : |
anglais |
Titre complet : |
Systems and software verification : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.]; [traduction par] Pierre McKenzie |
Édition : |
Updated version of the French language edition |
Publié : |
Berlin, New York, Paris :
Springer
, C 2001
|
Description matérielle : |
1 vol. (XII-190 p.) |
Traduction de : |
Vérification de logiciels : techniques et outils du model-checking |
Sujets : |
|