Model Checking Software Lecture Notes in Computer Science
Edición de la obra Model Checking Software Lecture Notes in Computer Science
| Autor | Klaus Havelund |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Páginas | 342 |
| ISBN-13 | 9783540851134 |
| OCLC | 233932892 |
| Número de Cutter | H384m |