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 : |
|
Nantilus
