Integrated Formal Methods
15th International Conference, IFM 2019, Bergen, Norway, December 2–6, 2019, Proceedings
Edición de la obra Integrated Formal Methods
| Autor | Wolfgang Ahrendt, Silvia Lizeth Tapia Tarifa |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Nov 15, 2019 |
| Páginas | 571 |
| Formato | paperback |
| ISBN-13 | 9783030349677 |
| ISBN-10 | 3030349675 |
| Número de Cutter | A287i |