Integrated Formal Methods
11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Elvira Albert, Emil Sekerinski |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Sep 15, 2014 |
| Páginas | 402 |
| Formato | paperback |
| ISBN-13 | 9783319101804 |
| ISBN-10 | 3319101803 |
| Número de Cutter | A333i |