Model Checking Software
22nd International Symposium, SPIN 2015, Stellenbosch, South Africa, August 24-26, 2015, Proceedings
Edición de la obra Model Checking Software
| Autor | Bernd Fischer, Jaco Geldenhuys |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 03, 2015 |
| Páginas | 337 |
| Formato | paperback |
| ISBN-13 | 9783319234038 |
| ISBN-10 | 331923403X |
| Número de Cutter | F529m |