Formal methods and testing
an outcome of the FORTEST network : revised selected papers
Edición de la obra Formal methods and testing
| Autor | Robert M. Hierons, J. P. Bowen, Mark Harman |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2008 |
| Lugar | Berlin, New York |
| Idioma | inglés |
| Páginas | 366 |
| ISBN-13 | 9783540789161 |
| ISBN-10 | 3540789162 |
| OCLC | 225872006 |