Systems and Software Verification
Model-Checking Techniques and Tools
Edición de la obra Systems and Software Verification
| Autor | B. Berard, M. Bidoit, P. McKenzie |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 12, 2014 |
| Páginas | 208 |
| Formato | paperback |
| ISBN-13 | 9783662045596 |
| ISBN-10 | 3662045591 |
| Número de Cutter | B483s |