Model Checking Software
25th International Symposium, SPIN 2018, Malaga, Spain, June 20-22, 2018, Proceedings
Edición de la obra Model Checking Software
| Autor | María del Mar Gallardo, Pedro Merino |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Jun 17, 2018 |
| Páginas | 363 |
| Formato | paperback |
| ISBN-13 | 9783319941103 |
| ISBN-10 | 3319941100 |
| Número de Cutter | G163m |