Model Checking Software
26th International Symposium, SPIN 2019, Beijing, China, July 15–16, 2019, Proceedings
Edición de la obra Model Checking Software
| Autor | Fabrizio Biondi, Thomas Given-Wilson, Axel Legay |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 14, 2019 |
| Páginas | 271 |
| Formato | paperback |
| ISBN-13 | 9783030309220 |
| ISBN-10 | 3030309223 |
| Número de Cutter | B615m |