Formal Methods : Foundations and Applications
18th Brazilian Symposium, SBMF 2015, Belo Horizonte, Brazil, September 21-22, 2015, Proceedings
Edición de la obra Formal Methods : Foundations and Applications
| Autor | Márcio Cornélio, Bill Roscoe |
|---|---|
| Editorial | Springer |
| Fecha de publicación | Feb 03, 2016 |
| Páginas | 213 |
| Formato | paperback |
| ISBN-13 | 9783319294728 |
| ISBN-10 | 3319294725 |
| Número de Cutter | C814f |