
Lectures on Runtime Verification
Introductory and Advanced Topics
Edición de la obra Lectures on Runtime Verification
| Autor | Ezio Bartocci, Yliès Falcone |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 18, 2018 |
| Páginas | 244 |
| Formato | paperback |
| ISBN-13 | 9783319756318 |
| ISBN-10 | 3319756311 |
| Número de Cutter | B292l |