Model Checking Software
14th International SPIN Workshop, Berlin, Germany, July 1-3, 2007, Proceedings
Edición de la obra Model Checking Software
| Autor | Dragan Bosnacki, Stefan Edelkamp |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2007 |
| Idioma | inglés |
| ISBN-13 | 9783540733706 |
| Número de Cutter | B743m |