Model Checking Software
23rd International Symposium, SPIN 2016, Co-located with ETAPS 2016, Eindhoven, The Netherlands, April 7-8, 2016, Proceedings
Edición de la obra Model Checking Software
| Autor | Dragan Bošnački, Anton Wijs |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Apr 08, 2016 |
| Páginas | 261 |
| Formato | paperback |
| ISBN-13 | 9783319325811 |
| ISBN-10 | 3319325817 |
| Número de Cutter | B743m |