Formal Methods : Foundations and Applications
17th Brazilian Symposium, SBMF 2014, Maceió, AL, Brazil, September 29--October 1, 2014. Proceedings
Edición de la obra Formal Methods : Foundations and Applications
| Autor | Christiano Braga, Narciso Martí-Oliet |
|---|---|
| Editorial | Springer International Publishing AG |
| Fecha de publicación | 2015 |
| Idioma | inglés |
| Páginas | 179 |
| ISBN-13 | 9783319150741 |
| Número de Cutter | B813f |