Formal Methods and Software Engineering
14th International Conference on Formal Engineering Methods, ICFEM 2012, Kyoto, Japan, November 12-16, 2012, ...
Edición de la obra Formal Methods and Software Engineering
| Autor | Toshiaki Aoki, Kenji Taguchi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 19, 2012 |
| Páginas | 526 |
| Formato | paperback |
| ISBN-13 | 9783642342806 |
| ISBN-10 | 3642342809 |
| LCCN | 2012949358 |
| Número de Cutter | A638f |