Bibliographic Details
| Main Authors : |
Bérard Béatrice
(Auteur),
Bidoit Michel
(Auteur),
Finkel Alain
(Auteur),
Schnoebelen Philippe
(Auteur) |
| Other Authors : |
McKenzie Pierre
(Traducteur) |
| Format : |
Book |
| Language : |
anglais |
| Title statement : |
Systems and software verification : model-checking techniques and tools / B. Bérard, M. Bidoit, A. Finkel... [et al.]; [traduction par] Pierre McKenzie |
| Edition : |
Updated version of the French language edition |
| Published : |
Berlin, New York, Paris :
Springer
, C 2001
|
| Physical Description : |
1 vol. (XII-190 p.) |
| Traduction de : |
Vérification de logiciels : techniques et outils du model-checking |
| Subjects : |
|
Nantilus
