Formal Methods and Software Engineering
21st International Conference on Formal Engineering Methods, ICFEM 2019, Shenzhen, China, November 5–9, 2019, ...
Edición de la obra Formal Methods and Software Engineering
| Autor | Yamine Ait-Ameur, Shengchao Qin |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Oct 06, 2019 |
| Páginas | 549 |
| Formato | paperback |
| ISBN-13 | 9783030324087 |
| ISBN-10 | 3030324087 |
| Número de Cutter | A311f |