Systems and Software Verification: Model-Checking Techniques and Tools
Beatrice Berard, B. Berard, M. Bidoit
Springer
2001
190 páginas
6h 20m
ISBN-10: 3540415238
Estatísticas
Avaliações
0 / 0- 5 estrelas0%
- 4 estrelas0%
- 3 estrelas0%
- 2 estrelas0%
- 1 estrelas0%