Integrated Formal Methods
8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Dominique Méry, Stephan Merz |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Mar 23, 2011 |
| Páginas | 348 |
| Formato | paperback |
| ISBN-13 | 9783642162664 |
| ISBN-10 | 3642162665 |
| Número de Cutter | M576i |