Model Checking Software
17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010. Proceedings
Edición de la obra Model Checking Software
| Autor | Jaco van de Pol |
|---|---|
| Editorial | Springer Berlin Heidelberg |
| Fecha de publicación | 2010 |
| Lugar | Berlin, Heidelberg |
| Idioma | inglés |
| Formato | [electronic resource] : |
| ISBN-13 | 9783642161636, 9783642161643 |
| LCCN | 2010935165 |
| Serie | Lecture Notes in Computer Science -- 6349 |
| Número de Cutter | P762m |