Formal Methods Teaching
Third International Workshop and Tutorial, FMTea 2019, Held as Part of the Third World Congress on Formal Methods, FM 2019, ...
Edición de la obra Formal Methods Teaching
| Autor | Brijesh Dongol, Luigia Petre, Graeme Smith |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Oct 16, 2019 |
| Páginas | 261 |
| Formato | paperback |
| ISBN-13 | 9783030324407 |
| ISBN-10 | 3030324400 |
| Número de Cutter | D682f |