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, Jonathan P. Bowen, Mark Harman |
|---|---|
| Editorial | Springer London, Limited |
| Fecha de publicación | 2008 |
| Idioma | inglés |
| ISBN-13 | 9783540789178 |
| Número de Cutter | H633f |