Formal Methods : Foundations and Applications
21st Brazilian Symposium, SBMF 2018, Salvador, Brazil, November 26–30, 2018, Proceedings
Edición de la obra Formal Methods : Foundations and Applications
| Autor | Tiago Massoni, Mohammad Reza Mousavi |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Oct 24, 2018 |
| Páginas | 281 |
| Formato | paperback |
| ISBN-13 | 9783030030438 |
| ISBN-10 | 3030030431 |
| Número de Cutter | M421f |