Formal methods
state of the art and new directions
Edición de la obra Formal methods
| Autor | Paul Boca, J. P. Bowen, J. I. Siddiqi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | 2010 |
| Lugar | London, New York |
| Idioma | inglés |
| Páginas | 273 |
| ISBN-13 | 9781848827356 |
| ISBN-10 | 1848827350 |
| OCLC | 428028757 |
| LCCN |